4340 search results - page 434 / 868 » Formal Methods and Cryptography |
181
click to vote
CIKM
2007
Springer
16 years 1 months ago
2007
Springer
Topological information plays a fundamental role in the human perception of spatial configurations and is thereby one of the most prominent geographical features in natural langu...
174
click to vote
FORMATS
2007
Springer
16 years 1 months ago
2007
Springer
Timed automata were introduced by Alur and Dill in the early 1990s and have since become the most prominent modelling formalism for real-time systems. A fundamental limit to the al...
220
click to vote
IFM
2007
Springer
16 years 29 days ago
2007
Springer
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
202
click to vote
EUROMICRO
2006
IEEE
16 years 27 days ago
2006
IEEE
This paper presents the modeling paradigm for Integrated Modular Avionics Design MIMAD V0, which is an extensible component-oriented framework that enables high level models of sy...
208
Voted
DILS
2005
Springer
16 years 11 days ago
2005
Springer
Few ontologies in the ecological domain exist, but their development can take advantage of gained experience in other domains and from existing modeling practices in ecology. Taxon...