7112 search results - page 1106 / 1423 » Power in normative systems |
229
Voted
CODES
2003
IEEE
16 years 24 days ago
2003
IEEE
In the Sesame framework, we develop a modeling and simulation environment for the efficient design space exploration of heterogeneous embedded systems. Since Sesame recognizes se...
180
click to vote
GROUP
2003
ACM
16 years 22 days ago
2003
ACM
Although the Internet provides powerful tools for social interactions, many tasks—for example, information-seeking—are undertaken as solitary activities. Information seekers a...
213
click to vote
HYBRID
2010
Springer
16 years 18 days ago
2010
Springer
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...
219
Voted
ISMAR
2002
IEEE
16 years 12 days ago
2002
IEEE
One of the most crucial tasks in a see-through augmented reality (AR) system is to register the virtual objects with the real world through a transparent display. The importance s...
179
click to vote
CDC
2009
IEEE
16 years 6 days ago
2009
IEEE
— In this paper we use partially ordered sets (posets) to study decentralized control problems arising in different settings. We show that time delayed systems with certain dela...