1054 search results - page 98 / 211 » Compositional Refinement of Interactive Systems Modelled by ... |
119
click to vote
GI
2009
Springer
15 years 1 months ago
2009
Springer
: Information fusion has a potential applicability to a multitude of different applications. Still, the JDL model is mostly used to describe defense applications. This paper descri...
152
Voted
SG
2005
Springer
15 years 9 months ago
2005
Springer
Parametric design systems model a design as a constrained collection of schemata. Designers work in such systems at two levels: definition of schemata and constraints; and search w...
164
click to vote
ICTAI
2008
IEEE
15 years 10 months ago
2008
IEEE
Ontologies are a well-motivated formal representation to model knowledge needed to extract and encode data from text. Yet, their tight integration with Information Extraction (IE)...
119
click to vote
GPCE
2003
Springer
15 years 9 months ago
2003
Springer
A primary goal of generative programming and model-driven ent is to raise the level of abstraction at which designers and developers interact with the software systems they are bui...
183
click to vote
JSC
2010
14 years 11 months ago
2010
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...