Sciweavers

2219 search results - page 331 / 444
» An environment for synchronous software development
Sort
View
EDBTW
2004
Springer
14 years 3 months ago
The Case for Mobile OLAP
Abstract. On-Line Analytical Processing (OLAP) is a trend in database technology, based on the multidimensional view of data. Numerous applications and development environments exi...
Andreas S. Maniatis
KBSE
2000
IEEE
14 years 2 months ago
Model Checking Programs
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
Willem Visser, Klaus Havelund, Guillaume P. Brat, ...
BCSHCI
2007
13 years 11 months ago
A toolkit approach to sketched diagram recognition
Sketch-based tools provide a more human centered design environment than traditional widget-based computer design software. A number of sketch tools exist that support specific de...
Beryl Plimmer, Isaac Freeman
CASCON
1994
123views Education» more  CASCON 1994»
13 years 11 months ago
Integrating real-time and partial-order information in event-data displays
The events occurring in the execution of a distributed or parallel application are related by a partial, rather than a total, order. We have developed prototype software that coll...
David J. Taylor, Michael H. Coffin
DAIS
2009
13 years 11 months ago
WiSeKit: A Distributed Middleware to Support Application-Level Adaptation in Sensor Networks
Abstract. Applications for Wireless Sensor Networks (WSNs) are being spread to areas in which the contextual parameters modeling the environment are changing over the application l...
Amirhosein Taherkordi, Quan Le Trung, Romain Rouvo...