Sciweavers

1324 search results - page 132 / 265
» Computers in Education: New Developments in e-Learning Techn...
Sort
View
LAWEB
2009
IEEE
15 years 4 months ago
Promoting Creative Design through Toolkits
—Computer science academics and professionals typically consider their contributions in terms of the algorithms, applications, and techniques that they develop. Yet equally impor...
Saul Greenberg
DAC
1996
ACM
15 years 2 months ago
Functional Verification Methodology of Chameleon Processor
- Functional verification of the new generation microprocessor developed by SGS-THOMSON Microelectronics makes extensive use of advanced technologies. This paper presents a global ...
Françoise Casaubieilh, Anthony McIsaac, Mik...
WETICE
1995
IEEE
15 years 1 months ago
Subdocument invocation semantics in collaborative hyperdocuments
In this paper we informally explain a new Trellis model that incorporates colored tokens into the previouslydescribed timed-Petri-net-based de nition. We give examples of using Tr...
Richard Furuta, Jaime Navon, P. David Stotts
SKG
2006
IEEE
15 years 3 months ago
A Knowledge Grid Architecture Based on Mobile Agent
The performance of services implemented in the serviceoriented knowledge grid becomes one of the most key issues that affect the development of the knowledge grid. This paper pres...
Gang Wang, Tao Wen, Quan Guo, Xuebin Ma
COMPUTER
2007
153views more  COMPUTER 2007»
14 years 10 months ago
The Discipline of Embedded Systems Design
ems, using abstractions that actually remove physical constraints from consideration. At the other, embedded systems design goes beyond the traditional expertise of electrical engi...
Thomas A. Henzinger, Joseph Sifakis