10038 search results - page 342 / 2008 » Model Checking for Managers |
219
click to vote
SMA
1993
ACM
15 years 10 months ago
1993
ACM
Form features present a rather attractive building block in computer-aided design environments for a variety of applications, providing the embodiment of engineering semantics in ...
166
click to vote
CCGRID
2009
IEEE
16 years 1 months ago
2009
IEEE
—In order to meet the increasing demands of present and upcoming data-intensive computer applications, there has been a major shift in the disk subsystem, which now consists of m...
179
click to vote
INTERNET
2006
15 years 6 months ago
2006
Web services provide abstractions for simplifying integration at lower levels of the interaction stacks, they don't yet help simplify integration at higher abstraction levels ...
160
click to vote
IPPS
2006
IEEE
16 years 22 days ago
2006
IEEE
The development of efficient parallel out-of-core applications is often tedious, because of the need to explicitly manage the movement of data between files and data structures ...
164
Voted
COLCOM
2009
IEEE
15 years 11 months ago
2009
IEEE
—Within collaborative computing, computer mediated communications are evolving rapidly thanks to the development of new technologies. The facilitation of awareness and discovery ...