9989 search results - page 316 / 1998 » A CLP Approach to Modelling Systems |
187
click to vote
IEEECIT
2005
IEEE
16 years 8 days ago
2005
IEEE
In embedded systems, performance and power are important inter-related issues that cannot be decoupled. Expensive and extensive simulations in a processor design space are usually...
188
click to vote
JSW
2008
15 years 6 months ago
2008
A notion of open bisimulation is proposed for the Applied Pi Calculus, which extends -calculus in order to facilitate analyzing security protocols. Our notion is based on the label...
172
click to vote
EMSOFT
2001
Springer
15 years 11 months ago
2001
Springer
The ability to incorporate low-power, wireless communication into embedded devices gives rise to a new genre of embedded software that is distributed, dynamic, and adaptive. This p...
200
click to vote
SIGGRAPH
2000
ACM
15 years 10 months ago
2000
ACM
Pose space deformation generalizes and improves upon both shape interpolation and common skeleton-driven deformation techniques. This deformation approach proceeds from the observ...
175
Voted
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
The importance of communication, information sharing and interoperability in an emergency response scenario have risen recently based on the frequency of disasters throughout the ...