4917 search results - page 911 / 984 » Software Engineering is Not Computer Science |
ISORC
2007
IEEE
14 years 5 months ago
2007
IEEE
Knowing the program timing characteristics is fundamental to the successful design and execution of real-time systems. Today, measurement-based timing analysis tools such as in-ci...
ISORC
2007
IEEE
14 years 5 months ago
2007
IEEE
Developing fault tolerant ambient systems requires many challenging factors to be considered due to the nature of such systems, which tend to contain a lot of mobile elements that...
ISORC
2007
IEEE
14 years 5 months ago
2007
IEEE
This paper provides three contributions to the study of quality of service (QoS) configuration in component-based DRE systems. First, we describe the challenges associated with m...
TABLETOP
2007
IEEE
14 years 5 months ago
2007
IEEE
Multi-person tabletop applications that require a high display resolution, such as collaborative web-browsing, are currently very difficult to create. Tabletop systems that suppo...
FOSSACS
2007
Springer
14 years 5 months ago
2007
Springer
ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions...