4418 search results - page 645 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
180
click to vote
CASCON
1996
15 years 8 months ago
1996
The performance of host communication subsystems is an important research topic in computer networks.1 Performance metrics such as throughput, delay, and packet loss are important...
197
click to vote
ICDCS
2009
IEEE
15 years 4 months ago
2009
IEEE
The balance between privacy and utility is a classical problem with an increasing impact on the design of modern information systems. On the one side it is crucial to ensure that ...
162
click to vote
SCAM
2008
IEEE
16 years 29 days ago
2008
IEEE
Bug-checking tools have been used with some success in recent years to find bugs in software. For finding bugs that can cause security vulnerabilities, bug checking tools requir...
210
click to vote
GSEM
2004
Springer
15 years 12 months ago
2004
Springer
Occam is a parallel processing language designed by a team at INMOS in conjunction with the design of the transputer processor, and based on Sir T. Hoare's ideas of Communica...
167
click to vote
SIGGRAPH
1994
ACM
15 years 10 months ago
1994
ACM
Specifying the motion of an animated linked figure such that it achieves given tasks (e.g., throwing a ball into a basket) and performs the tasks in a realistic fashion (e.g., gra...