Sciweavers

2694 search results - page 79 / 539
» Frege's New Science
Sort
View
FM
2006
Springer
172views Formal Methods» more  FM 2006»
15 years 10 months ago
The Embedded Systems Design Challenge
We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap ...
Thomas A. Henzinger, Joseph Sifakis
SC
2004
ACM
15 years 11 months ago
Computing - An Intellectual Lever for Multidisciplinary Discovery
: Legend says that Archimedes remarked, on the discovery of the lever, “Give me a place to stand, and I can move the world.” Today, computing pervades all aspects of science an...
Daniel A. Reed
CANDC
2011
ACM
14 years 6 months ago
Creative gadget design in fictions: generalized planning in analogical spaces
Science-fiction and fantasy stories often contain objects never envisioned previously. Inventing gadgets like lightsabers or mythical creatures like griffins is a creative task. T...
Boyang Li, Mark O. Riedl
ICSE
2005
IEEE-ACM
16 years 6 months ago
A B.S. degree in informatics: contextualizing software engineering education
Software engineering (SE) is very different in focus from traditional computer science: it is not just about computers and software, but as much about the context in which they ar...
André van der Hoek, David G. Kay, Debra J. ...
AISB
2008
Springer
15 years 8 months ago
The Plaited Structure of Time in Information Technology
Abstract. The aim of this paper is to try to understand the structure of time in information technologies. Starting with historical arguments, it first shows that time is neither l...
Jean-Gabriel Ganascia