82 search results - page 8 / 17 » Automatically transforming and relating Uppaal models of emb... |
71
Voted
ICSE
2004
IEEE-ACM
15 years 9 months ago
2004
IEEE-ACM
Semantic Web, the next generation of Web, gives data well-defined and machine-understandable meaning so that they can be processed by remote intelligent agents cooperatively. Onto...
ICT
2004
Springer
15 years 2 months ago
2004
Springer
In the area of monitoring communication networks, GEDSystem is a tool for supporting the development of programs driven to the management of domains that may show up when networks ...
ER
2000
Springer
15 years 1 months ago
2000
Springer
Relational database systems represent the current standard technology for implementing database applications. Now that the object-oriented paradigm becomes more and more mature in...
SAFECOMP
2009
Springer
15 years 4 months ago
2009
Springer
A key concern in safety engineering is understanding the overall emergent failure behaviour of a system, i.e., behaviour exhibited by the system that is outside its specification ...
RTAS
2008
IEEE
15 years 3 months ago
2008
IEEE
We build on PTIDES, a programming model for distributed embedded systems that uses discrete-event (DE) models as program specifications. PTIDES improves on distributed DE executi...