107 search results - page 21 / 22 » Applicative Lifting |
VSTTE
2005
Springer
13 years 10 months ago
2005
Springer
In this paper, we consider the Grand Challenge under a very specific perspective: the enabling of application experts without programming knowledge to reliably model their busines...
FM
2005
Springer
13 years 10 months ago
2005
Springer
The Mondex Electronic Purse system [18] is an outstanding example of formal refinement techniques applied to a genuine industrial scale application, and notably, was the first ve...
PERCOM
2010
ACM
13 years 3 months ago
2010
ACM
—Fluid intake is an important information for many health and assisted living applications. At the same time it is inherently difficult to monitor. Existing reliable solutions r...
HRI
2010
ACM
14 years 3 days ago
2010
ACM
—When a user is in close proximity to a robot, physical contact becomes a potentially valuable channel for communication. People often use direct physical contact to guide a pers...
EMSOFT
2006
Springer
13 years 9 months ago
2006
Springer
Bridging the gap between model-based design and platformbased implementation is one of the critical challenges for embedded software systems. In the context of embedded control sy...