MSE
2000
IEEE
14 years 10 days ago
2000
IEEE
More than a decade after its invention, Mark Weiser’s vision of ubiquitous computing finally seems to spark many research activities world wide. This article reviews the ideas b...
KBSE
2000
IEEE
14 years 10 days ago
2000
IEEE
Little-JIL, a new language for programming the coordination of agents is an executable, high-level process programming language with a formal (yet graphical) syntax and rigorously...
KBSE
2000
IEEE
14 years 10 days ago
2000
IEEE
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
KBSE
2000
IEEE
14 years 10 days ago
2000
IEEE
KBSE
2000
IEEE
14 years 10 days ago
2000
IEEE
Although peripheral devices come out at a frantic pace and require fast releases of drivers, little progress has been made to improve the development of drivers. Too often, this d...
KBSE
2000
IEEE
14 years 10 days ago
2000
IEEE
: Software development includes gathering information about tasks, work practices and design options from users. Traditionally requirements gathering takes two forms. Interviews an...
KBSE
2000
IEEE
14 years 10 days ago
2000
IEEE
When a lack of data inhibits decision making, large scale what-if queries can be conducted over the uncertain parameter ranges. Such what-if queries can generate an overwhelming a...
KBSE
2000
IEEE
14 years 10 days ago
2000
IEEE
This paper describes a new approach to visualization of scenarios within the use case-based engineering of functional requirements – the so-called Video Camera metaphor. The Vid...
KBSE
2000
IEEE
14 years 10 days ago
2000
IEEE
Lightweight formal modeling and automatic analysis were used to explore the design of the Intentional Naming System (INS), a new scheme for resource discovery in a dynamic network...
KBSE
2000
IEEE
14 years 10 days ago
2000
IEEE
Circular coinductive rewriting is a new method for proving behavioral properties, that combines behavioral rewriting with circular coinduction. This method is implemented in our n...