504 search results - page 38 / 101 » Modular System Development with Pullbacks |
111
Voted
AOSD
2007
ACM
15 years 6 months ago
2007
ACM
Embedded systems are an important field of research and will gain momentum in the near future. Many of these systems require data management functionality. Due to the resource con...
ICRA
2005
IEEE
15 years 8 months ago
2005
IEEE
— In swarm robotics research, instead of using large size robots, it is often desirable to have multiple small size robots for saving valuable work space and making the maintaina...
107
click to vote
CSFW
2000
IEEE
15 years 6 months ago
2000
IEEE
We present a framework in which different notions of security can be defined in a uniform and modular way. Each definition of security is formalized as a security predicate by ass...
114
Voted
COORDINATION
2010
Springer
15 years 5 months ago
2010
Springer
Increasing sizes of present-day distributed software systems call for coordination models which are both modular and scalable. Precise modelling of real-life applications further r...
162
click to vote
SIMPAR
2010
15 years 26 days ago
2010
From exploring planets to cleaning homes, the reach and versatility of robotics is vast. The integration of actuation, sensing and control makes robotics systems powerful, but comp...