Sciweavers

1968 search results - page 282 / 394
» System Ontology and its role in Software Development
Sort
View
ICSE
2005
IEEE-ACM
14 years 9 months ago
Automatic generation and maintenance of correct spreadsheets
Existing spreadsheet systems allow users to change cells arbitrarily, which is a major source of spreadsheet errors. We propose a system that prevents errors in spreadsheets by re...
Martin Erwig, Robin Abraham, Irene Cooperstein, St...
EMSOFT
2005
Springer
14 years 2 months ago
Passive mid-stream monitoring of real-time properties
Passive monitoring or testing of complex systems and networks running in the field can provide valuable insights into their behavior in actual environments of use. In certain con...
Lalita Jategaonkar Jagadeesan, Ramesh Viswanathan
ASWEC
2010
IEEE
13 years 9 months ago
Non-Monotonic Model Completion in Web Application Engineering
—Formal models are often used to verify systems and prove their correctness, and ensure that transformed models remain consistent to the original system. However, formal techniqu...
Jevon M. Wright, Jens Dietrich
DATE
2005
IEEE
180views Hardware» more  DATE 2005»
14 years 2 months ago
A Coprocessor for Accelerating Visual Information Processing
Visual information processing will play an increasingly important role in future electronics systems. In many applications, e.g. video surveillance cameras, data throughput of mic...
Walter Stechele, L. Alvado Cárcel, Stephan ...
IV
2005
IEEE
113views Visualization» more  IV 2005»
14 years 2 months ago
Design of a Pressure Sensitive Floor for Multimodal Sensing
Visualization and knowledge of detailed pressure information can play a vital role in multimodal sensing of human movement. We have designed a highresolution pressure sensing floo...
Prashant Srinivasan, David Birchfield, Gang Qian, ...