1878 search results - page 94 / 376 » Efficient Performance Models in Component-Based Software Eng... |
136
click to vote
CAV
1997
Springer
15 years 6 months ago
1997
Springer
We demonstrate the feasibility of using the XSB tabled logic programming system as a programmable fixed-point engine for implementing efficient local model checkers. In particular,...
126
click to vote
FSEN
2009
Springer
15 years 9 months ago
2009
Springer
The dream of Model Driven Engineering (MDE) is that Software Engineering activities should be performed only on models, but in practice a significant amount of programming is still...
129
click to vote
SAFECOMP
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...
126
click to vote
EICS
2009
ACM
15 years 9 months ago
2009
ACM
Smart environments (e.g., airports, hospitals, stadiums, and other physical spaces using ubiquitous computing to empower many mobile people) provide novel challenges for usability...
145
click to vote
TACAS
1998
Springer
15 years 7 months ago
1998
Springer
This paper enables symbolic ternary simulation of systems with large embedded memories. Each memory array is replaced with a behavioral model, where the number of symbolic variable...