10159 search results - page 590 / 2032 » System Design Validation Using Formal Models |
217
click to vote
EMSOFT
2010
Springer
15 years 4 months ago
2010
Springer
Constructing correct distributed systems from their high-level models has always been a challenge and often subject to serious errors because of their non-deterministic and non-at...
179
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
This paper describes a case study and design flow of a secure embedded system called ThumbPod, which uses cryptographic and biometric signal processing acceleration. It presents t...
236
click to vote
KES
2005
Springer
16 years 10 days ago
2005
Springer
Increasing amount of illicit image data transmitted via the internet has triggered the need to develop effective image mining systems for digital forensics purposes. This paper dis...
181
click to vote
ICSM
2008
IEEE
16 years 1 months ago
2008
IEEE
A principal goal of agent-oriented software engineering (AOSE) is to provide the mechanisms for reusing, maintaining and allowing the evolution of agent-based software systems. Ou...
161
click to vote
EUC
2004
Springer
16 years 7 days ago
2004
Springer
Every computer needs a timer mechanism to keep track of current time and also for various accounting purposes such as calculating the time spent by a process in CPU utilization, di...