1336 search results - page 43 / 268 » Modelling and Analysis of PKI-Based Systems Using Process Ca... |
135
click to vote
DAGSTUHL
2009
15 years 4 months ago
2009
Modelling architectural information is particularly important because of the acknowledged crucial role of software architecture in raising the level of abstraction during developme...
151
Voted
ICCD
2002
IEEE
16 years 5 days ago
2002
IEEE
A large and increasing number of modern embedded systems are subject to tight power/energy constraints. It has been demonstrated that the operating system (OS) can have a signifi...
123
click to vote
FORMATS
2003
Springer
15 years 8 months ago
2003
Springer
This text is dedicated to modelling of real-time applications running under multitasking operating system. Theoretical background is based on timed automata by Alur and Dill. As th...
136
click to vote
CASES
2003
ACM
15 years 8 months ago
2003
ACM
Recent research in sensor networks has raised issues of security for small embedded devices. Security concerns are motivated by the deployment of a large number of sensory devices...
137
click to vote
MKWI
2008
15 years 4 months ago
2008
: Semantic Business Process Management (SBPM) enhances BPM with semantic technologies in order to increase the degree of automation in the BPM lifecycle and help in bridging the ga...