489 search results - page 47 / 98 » Reasoning about confidentiality at requirements engineering ... |
97
Voted
EWSA
2005
Springer
15 years 6 months ago
2005
Springer
Even modern component architectures do not provide for easily manageable context-sensitive adaptability, a key requirement for ambient intelligence. The reason is that components a...
116
Voted
ISSTA
1996
ACM
15 years 4 months ago
1996
ACM
We illustrate the application of Nitpick, a specification checker, to the design of a style mechanism for a word processor. The design is cast, along with some expected properties...
ISPASS
2006
IEEE
15 years 6 months ago
2006
IEEE
— Due to the long simulation times of the reference input sets, microarchitects resort to alternative techniques to speed up cycle-accurate simulations. However, the reduction in...
113
Voted
AICT
2005
IEEE
15 years 6 months ago
2005
IEEE
Clock synchronization has paid a great magnitude of attention in the distributed systems. Sensor networks differ from traditional distributed system in many ways. One of the drama...
92
Voted
ICRA
2002
IEEE
15 years 5 months ago
2002
IEEE
This paper describes TEMPEST, a planner that enables a solar-powered rover to reason about path selection and event placement in terms of available solar energy and anticipated po...