Sciweavers

5506 search results - page 696 / 1102
» Visualizing Software Changes
Sort
View
134
Voted
CN
2007
111views more  CN 2007»
15 years 5 months ago
Advances in smart cards
Since the turn of the century, smart card technology has pushed its borders both on the high end to integrate new functionalities (e.g., networking) and on the low end to adapt to...
Josep Domingo-Ferrer, Joachim Posegga, Francesc Se...
JACIII
2006
118views more  JACIII 2006»
15 years 5 months ago
Building Intelligent Robotics Systems with Distributed Components
ct-oriented modules that create an abstract interface for a specific class of hardware or software components. If these components provide "intelligent" functions, the ov...
Federico Guedea-Elizalde, Rogelio Soto, Fakhreddin...
130
Voted
TOPLAS
2008
78views more  TOPLAS 2008»
15 years 4 months ago
The pitfalls of verifying floating-point computations
Current critical systems often use a lot of floating-point computations, and thus the testing or static analysis of programs containing floatingpoint operators has become a priori...
David Monniaux
ETS
2000
IEEE
138views Hardware» more  ETS 2000»
15 years 4 months ago
e-Learning Innovation through the Implementation of an Internet Supported Learning Environment
The paper provides an insight into the changing nature of the learning process through the adoption of interactive new media solutions into a traditional University Campus. The us...
David Smith, Glenn Hardaker
JECR
2000
85views more  JECR 2000»
15 years 4 months ago
Real-Time Multi-Auctions and the Agent-Support
Electronic auctions have become popular. Recently, multicast technology is changing the Internet environment for e-commerce, and will make available more forms of auctions than we...
Hong Liu, Shouhong Wang, Fei Teng