1054 search results - page 130 / 211 » Guarded Expressions in Practice |
170
click to vote
AINA
2009
IEEE
16 years 24 days ago
2009
IEEE
Abstract — Governing business compliance with regulations, laws, best practices, contracts, and the like is not an easy task, and so far there are only limited software products ...
155
Voted
SAC
2009
ACM
16 years 24 days ago
2009
ACM
Energy management is a critical concern in the design of embedded systems to prolong the lifetime or to maximize the performance under energy constraints. In particular, the emerg...
165
Voted
TACAS
2009
Springer
16 years 23 days ago
2009
Springer
Software testing is an essential process to improve software quality in practice. Researchers have proposed several techniques to automate parts of this process. In particular, sym...
148
click to vote
VMCAI
2009
Springer
16 years 23 days ago
2009
Springer
—A variety of partial modeling formalisms, aimed re and reason about abstractions, have been proposed. Some, e.g., Kripke Modal Transition Systems (KMTSs) put strong restrictions...
175
click to vote
ICAS
2009
IEEE
16 years 22 days ago
2009
IEEE
In open systems where the components, i.e. the agents and the resources, may be unknown at design time, or in dynamic and self-organizing systems evolving with time, there is a ne...