46 search results - page 5 / 10 » Supporting Proof in a Reactive Development Environment |
146
click to vote
ESEC
1999
Springer
15 years 1 months ago
1999
Springer
CIP is a model-based software development method for embedded systems. The problem of constructing an embedded system is decomposed into a functional and a connection problem. The ...
ICMCS
1997
IEEE
15 years 1 months ago
1997
IEEE
An important concept in the available bit rate (ABR) service model as defined by the ATM Forum is the minimum cell rate (MCR) guarantee as well as the peak cell rate (PCR) constra...
87
Voted
COMPSAC
2006
IEEE
15 years 3 months ago
2006
IEEE
Service-based systems have many applications, such as collaborative research and development, e-business, health care, military applications, and homeland security. In dynamic ser...
125
click to vote
CEFP
2007
Springer
15 years 3 months ago
2007
Springer
This tutorial paper aims to provide the necessary expertise for working with the proof assistant Sparkle, which is dedicated to the lazy functional programming language Clean. The ...
DIGRA
2005
Springer
15 years 3 months ago
2005
Springer
The substantial growth of the video game industry has fueled a search for new technologies and methodologies for providing rich and rewarding experiences for players of modern vid...