2520 search results - page 421 / 504 » Model-checking behavioral programs |
ICCD
2004
IEEE
14 years 7 months ago
2004
IEEE
Three dimensional vertically integrated systems allow active devices to be placed on multiple device layers. In recent years, a number of research efforts have addressed physical ...
TEI
2010
ACM
14 years 5 months ago
2010
ACM
Distributed physical user interfaces comprise networked sensors, actuators and other devices attached to a variety of computers in different locations. Developing such systems is ...
FOSSACS
2010
Springer
14 years 5 months ago
2010
Springer
Final coalgebras for a functor serve as semantic domains for state based systems of various types. For example, formal languages, streams, nonwell-founded sets and behaviors of CCS...
APSEC
2009
IEEE
14 years 5 months ago
2009
IEEE
Abstract—As software evolves, engineers use regression testing to evaluate its fitness for release. Such testing typically begins with existing test cases, and many techniques h...
CSMR
2009
IEEE
14 years 4 months ago
2009
IEEE
Extract Method has been recognized as one of the most important refactorings, since it decomposes large methods and can be used in combination with other refactorings for fixing a...