489 search results - page 47 / 98 » Reasoning about confidentiality at requirements engineering ... |
152
click to vote
EWSA
2005
Springer
15 years 11 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...
172
click to vote
ISSTA
1996
ACM
15 years 10 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...
142
click to vote
ISPASS
2006
IEEE
16 years 4 days 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...
181
click to vote
AICT
2005
IEEE
15 years 11 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...
159
click to vote
ICRA
2002
IEEE
15 years 11 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...