3706 search results - page 103 / 742 » System Description: H-PILoT |
COMPSAC
2004
IEEE
15 years 4 months ago
2004
IEEE
A key challenge in ubiquitous computing is how to manage ambient information about the environment where a variety of devices appear. Traditional capability descriptions are inadeq...
99
Voted
GI
2004
Springer
15 years 6 months ago
2004
Springer
The Action Semantics for UML provides a standard and platform independent way to describe the behavior of methods and executable actions in object-oriented system design prior to i...
107
Voted
WICSA
2004
15 years 2 months ago
2004
Software architecture descriptions can play a wide variety of roles in the software lifecycle, from requirements specification, to logical design, to implementation architectures....
94
Voted
ICFP
2008
ACM
16 years 17 days ago
2008
ACM
In efforts to overcome the complexity of the syntax and the lack of formal semantics of conventional hardware description languages, a number of functional hardware description la...
99
Voted
CADE
2007
Springer
16 years 28 days ago
2007
Springer
In this paper, a proof assistant, called SAD, is presented. SAD deals with mathematical texts that are formalized in the ForTheL language (brief description of which is also given)...