4166 search results - page 502 / 834 » A modular module system |
190
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
Logic and object-orientation (OO) are competing ways of looking at the world. Both view the world in terms of individuals. But logic focuses on the relationships between individual...
157
click to vote
FCT
1995
Springer
15 years 10 months ago
1995
Springer
The synchronization of two or more semi-traces describes the possible evaluation of a concurrent system, which consists of two or more concurrent subsystems in a modular way, where...
279
click to vote
POPL
2006
ACM
16 years 7 months ago
2006
ACM
Embedded code pointers (ECPs) are stored handles of functions and continuations commonly seen in low-level binaries as well as functional or higher-order programs. ECPs are known ...
164
click to vote
ICRA
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper, we describe a modular software that allows fast development of eye-in-hand image-based visual servoing applications (ViSP states for "Visual Servoing Platform&...
190
click to vote
RTCSA
1999
IEEE
15 years 11 months ago
1999
IEEE
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...