1508 search results - page 64 / 302 » Toward Software Plug-and-Play |
93
Voted
ATAL
2003
Springer
15 years 9 months ago
2003
Springer
We show how it is possible to pair the NuSMV model checker with Akka, a software platform used to check validity of propositional modal formulas, to verify properties of multi-age...
120
Voted
EUROMICRO
2007
IEEE
15 years 10 months ago
2007
IEEE
Getting business stakeholders’ goals formulated clearly and project scope defined realistically increases the chance of success for any application development process. As a cons...
95
Voted
AGILEDC
2007
IEEE
15 years 10 months ago
2007
IEEE
In Christopher Alexander's pattern of this name, he says, “No social group—whether a family, a work group, or a school group—can survive without constant informal conta...
143
Voted
VISUALIZATION
2003
IEEE
15 years 9 months ago
2003
IEEE
We describe how to count the cases that arise in a family of visualization techniques, including Marching Cubes, Sweeping Simplices, Contour Meshing, Interval Volumes, and Separat...
157
Voted
Publication
Conversations between colleagues in collaborative
software engineering are important for coordinating work,
sharing knowledge and creating knowledge. Overhearing con-
versations...