860 search results - page 148 / 172 » A Process Algebra Based Verification of a Production System |
VLSID
2001
IEEE
14 years 8 months ago
2001
IEEE
Networking hardware manufacturers face the dual demands of supporting ever increasing bandwidth requirements, while also delivering new features, such as the ability to implement ...
HICSS
2007
IEEE
14 years 2 months ago
2007
IEEE
Increased market dynamics, shorter product lifecycles and a higher customer involvement in product design have caused great changes to competitive conditions and many companies ar...
CHI
2006
ACM
14 years 8 months ago
2006
ACM
This work in progress reports a study of cross-cultural collaboration mediated by board-based collaborative systems. American-Chinese and American-American pairs performed collabo...
SIGCOMM
2009
ACM
14 years 2 months ago
2009
ACM
The creation of services on IP networks is a lengthy process. The development time is further increased if this involves the equipment manufacturer adding third-party technology i...
DIS
2001
Springer
14 years 5 days ago
2001
Springer
Abstract. State of the art equation discovery systems start the discovery process from scratch, rather than from an initial hypothesis in the space of equations. On the other hand,...