Sciweavers

6106 search results - page 381 / 1222
» Modes for Software Architectures
Sort
View
AUIC
2006
IEEE
16 years 27 days ago
From pushing buttons to play and progress: value and interaction in fable
A value can be understood as a belief that one mode of conduct is preferable to others. The user-interface of computer games mediates all player conduct in the game and is therefo...
Pippin Barr, James Noble, Robert Biddle, Rilla Kha...
ATS
2005
IEEE
121views Hardware» more  ATS 2005»
16 years 14 days ago
Compressing Functional Tests for Microprocessors
In the past, test data volume reduction techniques have concentrated heavily on scan test data content. However, functional vectors continue to be utilized because they target uni...
Kedarnath J. Balakrishnan, Nur A. Touba, Srinivas ...
ICMB
2005
IEEE
90views Business» more  ICMB 2005»
16 years 13 days ago
A Middleware-Based Script Language
Middleware has greatly promoted the 3-tie mode of application systems. But as application software requirements become more complex and more frequently changing, the development c...
Zaobin Gan, Ching Lin, Vijay Varadharajan
FASE
2001
Springer
15 years 11 months ago
A Logic for the Java Modeling Language JML
Abstract. This paper describes a specialised logic for proving specifications in the Java Modeling Language (JML). JML is an interface specification language for Java. It allows ...
Bart Jacobs, Erik Poll
LCTRTS
2001
Springer
15 years 11 months ago
Embedded Control Systems Development with Giotto
Giotto is a principled, tool-supported design methodology for implementing embedded control systems on platforms of possibly distributed sensors, actuators, CPUs, and networks. Gio...
Thomas A. Henzinger, Benjamin Horowitz, Christoph ...