1707 search results - page 231 / 342 » On the Design of Agent-Based Systems using UML and Extension... |
202
click to vote
JAR
2006
15 years 6 months ago
2006
We describe an approach to verifying bit-level pipelined machine models using a combination of deductive reasoning and decision procedures. While theorem proving systems such as AC...
173
click to vote
SASO
2008
IEEE
16 years 1 months ago
2008
IEEE
Many self-organizing and self-adaptive systems use the biologically inspired “gradient” primitive, in which each device in a network estimates its distance to the closest devi...
210
click to vote
CLEAR
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, two multimodal systems for the tracking of multiple users in smart environments are presented. The first is a multiview particle filter tracker using foreground, c...
206
click to vote
ICCAD
2009
IEEE
15 years 4 months ago
2009
IEEE
While Dynamic Voltage Scaling (DVS) remains as a popular energy management technique for real-time embedded applications, recent research has identified significant and negative i...
156
click to vote
USS
2004
15 years 8 months ago
2004
Many host-based anomaly detection systems monitor a process ostensibly running a known program by observing the system calls the process makes. Numerous improvements to the precis...