10159 search results - page 1834 / 2032 » System Design Validation Using Formal Models |
144
click to vote
FROCOS
2005
Springer
16 years 2 days ago
2005
Springer
We describe results and status of a sub project of the Verisoft [1] project. While the Verisoft project aims at verification of a complete computer system starting with hardware a...
182
click to vote
ICDAR
2003
IEEE
15 years 12 months ago
2003
IEEE
As whiteboards have become a popular tool in meeting rooms, there has been a growing interest in making use of the whiteboard as a user interface for human computer interaction. T...
205
click to vote
HT
1997
ACM
15 years 10 months ago
1997
ACM
Hypermedia concepts are currently being deployed in a variety of information systems such as the World Wide Web, software development environments, large engineering enterprises, ...
179
click to vote
IM
2007
15 years 8 months ago
2007
—Today’s enterprise data centers are shifting towards a utility computing model where many business critical applications share a common pool of infrastructure resources that o...
168
click to vote
DASFAA
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract. Online games and location-based services now form the potential application domains for the P2P paradigm. In P2P systems, balancing the workload is essential for overall ...