Sciweavers

3154 search results - page 342 / 631
» An annotation based approach to support design communication
Sort
View
IFIP
2000
Springer
15 years 10 months ago
Information Systems Conceptual Foundations: Looking Backward and Forward
The academic field of information systems has developed because organizations use a specialized body of knowledge about information and communications systems. Teaching and resear...
Gordon B. Davis
DAC
2000
ACM
16 years 7 months ago
Compiling Esterel into sequential code
This paper presents a novel compiler for Esterel, a concurrent synchronous imperative language. It generates fast, small object code by compiling away concurrency, producing a sin...
Stephen A. Edwards
INTERACT
2003
15 years 8 months ago
FMS - Flying Message Service: The Comeback of Carrier Pigeons
: Flying Message Service (FMS) is a design project promoting community-based messaging in public spaces in the city. We have built a system that enables people to attach electronic...
Magnus Nilsson, Magnus Johansson, Linda Sjödi...
FBT
1998
119views Formal Methods» more  FBT 1998»
15 years 8 months ago
Modeling a Production Cell as a Distributed Real-Time System with Cottbus Timed Automata
We build on work in designing modeling languages for hybrid systems in the development of CTA, the Cottbus Timed Automata. Our design features a facility to specify a hybrid system...
Dirk Beyer, Heinrich Rust
WWW
2005
ACM
16 years 7 months ago
MiSpider: a continuous agent on web pages
In this paper, we propose a Web based agent system called MiSpider, which provides intelligent web services on web browsers. MiSpider enables users to use agents on existing brows...
Yujiro Fukagaya, Tadachika Ozono, Takayuki Ito, To...