2477 search results - page 127 / 496 » First-Order Interactive Programming |
TASE
2009
IEEE
14 years 3 months ago
2009
IEEE
We explore the interactions between programvariable state visibility and communication behaviour in state-rich CSP-like processes, using the Unifying Theories of Programming (UTP)...
FGR
2006
IEEE
14 years 3 months ago
2006
IEEE
Robust face detection presents a difficult problem in real interaction scenarios, that, in order to achieve, most often requires employing additional sources of information. In t...
ARCS
2005
Springer
14 years 2 months ago
2005
Springer
In Ubiquitous computing small embedded sensor and computing nodes are the main enabling technologies. System programming for such small embedded systems is a challenging task invol...
ICDCSW
2002
IEEE
14 years 2 months ago
2002
IEEE
Event-based middleware is currently being applied for application component integration in a range of application domains. As a result, a variety of event services have been propo...
DATE
1997
IEEE
14 years 1 months ago
1997
IEEE
In modern computer systems the performance is dominated by the memory performance. Currently, there is neither a systematic design methodology nor a tool for the design of memory ...