2210 search results - page 270 / 442 » Applying a Model-based Approach for Embedded System Developm... |
125
click to vote
ICCS
2007
Springer
15 years 9 months ago
2007
Springer
In the analysis of criminal behaviour, a combination of biological, psychological and social aspects may be taken into account. Dynamical modelling methods developed in recent year...
126
click to vote
IPPS
2007
IEEE
15 years 9 months ago
2007
IEEE
Component-based development has emerged as an effective approach to building flexible systems, but there is little experience in applying this approach to Grid programming. This p...
106
click to vote
FCT
2003
Springer
15 years 8 months ago
2003
Springer
We develop new proof techniques, based on non-interference, for the analysis of safety and liveness properties of cryptographic protocols expressed as terms of the process algebra ...
120
click to vote
ICCAD
2008
IEEE
15 years 11 months ago
2008
IEEE
— This paper presents a fast analytical method for estimating the throughput of pipelined asynchronous systems, and then applies that method to develop a fast solution to the pro...
108
click to vote
RTCSA
2007
IEEE
15 years 9 months ago
2007
IEEE
Hospital work is characterized by the need to manage multiple activities simultaneously, constant local mobility, frequently interruptions, and intense collaboration and communica...