1236 search results - page 140 / 248 » From Conceptual Modeling to Requirements Engineering |
181
click to vote
MOMPES
2006
IEEE
16 years 11 days ago
2006
IEEE
In this era of intense liking to automation in almost all time-critical fields, real-time systems have got widespread utilization in industrial, commercial, medical, space and mil...
211
click to vote
CODES
2004
IEEE
15 years 10 months ago
2004
IEEE
There is a growing need for accurate power models at the system level. Memory structures such as caches, Branch Target Buffers (BTBs), and register files occupy significant area i...
127
click to vote
COMPSAC
2005
IEEE
15 years 12 months ago
2005
IEEE
Communication middleware such as MuniCluster provides highlevel communication mechanisms for networked applications through hiding the low-level communication details from the app...
175
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Software systems are becoming more and more complex with a large number of interacting partners often distributed over a network. A common dilemma faced by software engineers in b...
173
click to vote
SIGSOFT
2003
ACM
15 years 11 months ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...