6348 search results - page 345 / 1270 » A Lesson for Software Engineering from Knowledge Engineering |
104
click to vote
WADT
1998
Springer
15 years 9 months ago
1998
Springer
We propose a definition of hierarchical heterogeneous formal specifications, where each module is specified according to its own homogeneous logic. We focus on the specification st...
150
click to vote
FOSSACS
2008
Springer
15 years 6 months ago
2008
Springer
Coalgebras provide a uniform framework for the semantics of a large class of (mostly non-normal) modal logics, including e.g. monotone modal logic, probabilistic and graded modal l...
134
click to vote
AVI
2006
15 years 6 months ago
2006
Researchers have explored the design of ambient information systems across a wide range of physical and screen-based media. This work has yielded rich examples of design approache...
135
Voted
RE
2008
Springer
15 years 4 months ago
2008
Springer
U.S. laws and regulations are designed to support broad societal goals, such as accessibility, privacy and safety. To demonstrate that a product complies with these goals, busines...
243
click to vote
VLDB
2007
ACM
16 years 5 months ago
2007
ACM
The database community is on a constant quest for better integration of data management and knowledge management. Recently, with the increasing use of ontology in various applicat...