2047 search results - page 359 / 410 » Interactive Immersive Design Application: Analysis of Requir... |
160
click to vote
SIGSOFT
2003
ACM
15 years 11 months ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
156
click to vote
INFOCOM
2002
IEEE
15 years 10 months ago
2002
IEEE
—We propose SWAN, a stateless network model which uses distributed control algorithms to deliver service differentiation in mobile wireless ad hoc networks in a simple, scalable ...
142
click to vote
MICRO
2002
IEEE
15 years 10 months ago
2002
IEEE
We describe the design, analysis, and performance of an on–line algorithm to dynamically control the frequency/voltage of a Multiple Clock Domain (MCD) microarchitecture. The MC...
152
click to vote
UML
2001
Springer
15 years 10 months ago
2001
Springer
Use case models are used in object-oriented analysis for capturing and describing the functional requirements of a system. Several methods for estimating software development effor...
148
click to vote
MOBIDE
1999
ACM
15 years 10 months ago
1999
ACM
Mobile applications increasingly require transaction-like properties, particularly those of recovery. Because there is a lack of abstractions to decompose the machinery of recover...