1864 search results - page 131 / 373 » Formal topology and domains |
171
click to vote
RE
1999
Springer
15 years 10 months ago
1999
Springer
Requirements capture by scenarios and user interface prototyping have become popular techniques. Yet, the transition from scenarios to formal specifications is still ill-defined, ...
132
click to vote
ECSQARU
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. Today, different formalisms exist to solve reasoning problems under uncertainty. For most of the known formalisms, corresponding computer implementations are available. ...
191
click to vote
FMCAD
2007
Springer
15 years 10 months ago
2007
Springer
Abstract--Analog and mixed signal (AMS) designs are important integrated circuits that are usually needed at the interface between the electronic system and the real world. Recentl...
178
click to vote
MIE
2008
15 years 7 months ago
2008
In this work we present the usage of semantic web knowledge representation formalism (OWL) in combination with general purpose reasoning for building a medical expert system. The a...
158
click to vote
SE
2007
15 years 7 months ago
2007
Abstract: The Eclipse infrastructure for modeling is based on EMF, an implementation of Essential MOF, the OMG standard for metamodeling. A recent addition to EMF has been parametr...