1707 search results - page 231 / 342 » On the Design of Agent-Based Systems using UML and Extension... |
186
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...
166
click to vote
SASO
2008
IEEE
16 years 22 days 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...
196
click to vote
CLEAR
2007
Springer
16 years 16 days 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...
184
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...
144
click to vote
USS
2004
15 years 7 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...