1268 search results - page 71 / 254 » Verifying distributed systems: the operational approach |
181
click to vote
BCS
2008
15 years 7 months ago
2008
Dependable systems evolution has been identified by the UK Computing Research Committee (UKCRC) as one of the current grand challenges for computer science. We present work toward...
154
click to vote
CCGRID
2007
IEEE
15 years 6 months ago
2007
IEEE
Grid is a computational environment in which applications can use multiple distributed computational resources in a safe, coordinated, efficient and transparent way. Data Integra...
154
click to vote
GLOBECOM
2008
IEEE
16 years 18 days ago
2008
IEEE
—Cognitive radio (CR) systems need to be able to adjust the transceiver characteristics in response to stimuli received from the radio environment. Therefore, monitoring the wire...
165
click to vote
WETICE
2007
IEEE
2007
IEEE
An Architectural Approach to Apply the Supervisor/Worker Collaboration Pattern to Nomadic Workspaces
16 years 12 days ago
Although information technology is advancing, computer-based systems do not yet ideally support collaborative activities of mobile users in nomadic workspaces. Mobile information ...
217
click to vote
AH
2000
Springer
15 years 10 months ago
2000
Springer
The paper investigates the use of computational intelligence for adaptive lesson presentation in a Web-based learning environment. A specialized connectionist architecture is devel...