587 search results - page 44 / 118 » A Formal Framework for Developing Adaptable Service-Based Ap... |
TRIDENTCOM
2006
IEEE
14 years 2 months ago
2006
IEEE
Grid and distributed computing environments are evolving rapidly and driving the development of system and network technologies. The design of applications has placed an increased...
CORR
2008
Springer
13 years 9 months ago
2008
Springer
Synchronous languages rely on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have been advocated as a means of increasing t...
RSP
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper presents Wcomp which is a framework for rapid application prototyping. This framework has been developed for targeting wearable computing applications but can also be u...
KI
1990
Springer
14 years 25 days ago
1990
Springer
ue to a lack of abstraction in the formalization of deductive mechanisms involved in programming reasoning tools for the development of program synthesizers are not yet available. ...
GI
2005
Springer
14 years 2 months ago
2005
Springer
: This contribution discusses the application of Petri nets for modeling workflow in healthcare based on a normative language approach. After a brief inon, a framework of different...