Sciweavers

3595 search results - page 320 / 719
» Roles of Program Extension
Sort
View
ITS
1992
Springer
120views Multimedia» more  ITS 1992»
15 years 10 months ago
Distributed Learning Companion System: WEST Revisited
This paper describes a distributed learning system which consists of two connected computers so that students can learn in collaboration and/or competition at different locations. ...
Tak-Wai Chan, I-Ling Chung, Rong-Guey Ho, Wen-Juan...
HASE
2007
IEEE
15 years 10 months ago
Multiple Pre/Post Specifications for Heap-Manipulating Methods
Automated verification plays an important role for high assurance software. This typically uses a pair of pre/post conditions as a formal (but possibly partial) specification of e...
Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, She...
AINA
2006
IEEE
15 years 10 months ago
Supporting Runtime Reconfiguration on Network Processors
Network Processors (NPs) are set to play a key role in the next generation of networking technology. They have the performance of ASIC-based routers whilst offering a high degree o...
Kevin Lee, Geoffrey Coulson
ECBS
2004
IEEE
153views Hardware» more  ECBS 2004»
15 years 10 months ago
Architectural Description with Integrated Data Consistency Models
The focus of typical architectural models is the description of large systems. Even though these systems are usually distributed, aspects of distributed systems are only addressed...
Peter Tabeling
ENC
2006
IEEE
15 years 10 months ago
Defining new argumentation-based semantics by minimal models
Dung's argumentation approach is a unifying approach which has played an influential role on argumentation research and Artificial Intelligence (AI). Based on a proper repres...
Juan Carlos Nieves, Ulises Cortés, Mauricio...