10038 search results - page 340 / 2008 » Model Checking for Managers |
178
click to vote
BIS
2008
15 years 8 months ago
2008
Abstract. In order to realise complex service-based applications on system platforms for context-aware ubiquitous computing environments, mobile processes have been introduced to s...
196
click to vote
IJISEC
2006
15 years 6 months ago
2006
Abstract A number of recent proposals aim to incorporate security engineering into mainstream software engineering. Yet, capturing trust and security requirements at an organizatio...
166
click to vote
JUCS
2006
15 years 6 months ago
2006
: This paper describes OCP (Open Context Platform), a middleware which provides support for management of contextual information and merging of information from different sources. ...
165
click to vote
EOR
2007
15 years 6 months ago
2007
With the increasing emphasis on supply chain vulnerabilities, effective mathematical tools for analyzing and understanding appropriate supply chain risk management are now attrac...
231
click to vote
DATE
2005
IEEE
16 years 10 days ago
2005
IEEE
When applying Dynamic Power Management (DPM) technique to pervasively deployed embedded systems, the technique needs to be very efficient so that it is feasible to implement the t...