3718 search results - page 502 / 744 » Programming by Integration in Robotics |
180
click to vote
IDEAS
2005
IEEE
16 years 22 days ago
2005
IEEE
Laboratory information systems (LIMS) are used in life science research to manage complex experiments. Since LIMS systems are often shared by different research groups, powerful a...
196
click to vote
KBSE
2005
IEEE
16 years 21 days ago
2005
IEEE
This paper presents a formal approach to threat-driven modeling and verification of secure software using aspect-oriented Petri nets. Based on the behavior model of intended funct...
217
click to vote
DCOSS
2005
Springer
16 years 20 days ago
2005
Springer
Tracking is one of the major applications of wireless sensor networks. EnviroSuite, as a programming paradigm, provides a comprehensive solution for programming tracking applicatio...
173
click to vote
AOSD
2010
ACM
16 years 13 days ago
2010
ACM
The integration of third-party aspects into applications creates security challenges. Due to the intrusive impact of aspects, one cannot guarantee that the dynamic composition of ...
176
click to vote
ISLPED
2003
ACM
16 years 11 days ago
2003
ACM
The power consumption of a sequential circuit can be reduced by decomposing it into subcircuits which can be turned off when inactive. Power can also be reduced by careful state e...