2836 search results - page 286 / 568 » Model Checking for Software Architectures |
151
click to vote
CCGRID
2003
IEEE
15 years 10 months ago
2003
IEEE
The most important recent development in Grid systems is the adoption of the Web services model as a basic architecture for Grid services. The result is called the Open Grid Servi...
122
click to vote
SIGSOFT
2009
ACM
16 years 5 months ago
2009
ACM
Initial system specifications, such as use-case scenarios and properties, only partially specify the future system. We posit that synthesizing partial component-level behavior mod...
138
click to vote
SIGSOFT
2001
ACM
16 years 5 months ago
2001
ACM
Complex toolsets can be difficult to use. User interfaces can help by guiding users through the alternative choices that might be possible at any given time, but this tends to loc...
204
click to vote
UIST
1993
ACM
15 years 9 months ago
1993
ACM
This paper describes the VB2 architecture for the construction of three-dimensional interactive applications. The system's state and behavior are uniformly represented as a n...
136
Voted
CODES
2001
IEEE
15 years 8 months ago
2001
IEEE
Models of computation like Kahn and dataflow process networks provide convenient means for modeling signal processing applicahis is partly due to the abstract primitives that thes...