7080 search results - page 1108 / 1416 » Designing High Integrity Systems Using Aspects |
151
click to vote
JNCA
2007
15 years 3 months ago
2007
Powerful microcontrollers are used as parts of most home and office appliances of today. Integrating web servers to these intelligent devices will aid in controlling them over th...
147
click to vote
STTT
2010
15 years 2 months ago
2010
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of ent to represent systems a...
134
click to vote
CCS
2009
ACM
15 years 11 months ago
2009
ACM
Although modern communications services are susceptible to third-party eavesdropping via a wide range of possible techniques, law enforcement agencies in the US and other countrie...
111
click to vote
FPL
2005
Springer
15 years 10 months ago
2005
Springer
A hardware-accelerated algorithm has been designed to automatically identify the primary languages used in documents transferred over the Internet. The algorithm has been implemen...
108
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
Model checking, logging, debugging, and checkpointing/recovery are great tools to identify bugs in small sequential programs. The direct application of these techniques to the dom...