Sciweavers

3142 search results - page 35 / 629
» A formal approach for designing CORBA based applications
Sort
View
HASKELL
2006
ACM
14 years 2 months ago
Running the manual: an approach to high-assurance microkernel development
We propose a development methodology for designing and prototyping high assurance microkernels, and describe our application of it. The methodology is based on rapid prototyping a...
Philip Derrin, Kevin Elphinstone, Gerwin Klein, Da...
ADBIS
2004
Springer
94views Database» more  ADBIS 2004»
14 years 13 days ago
Formalization and Detection of Events over a Sliding Window in Active Databases Using Interval-Based Semantics
Trend analysis and forecasting applications (e.g., securities trading, stock market, and after-the-fact diagnosis) need event detection along a moving time window. Event-driven app...
Raman Adaikkalavan, Sharma Chakravarthy
ICWS
2003
IEEE
13 years 10 months ago
Towards Agent-Based Rational Service Composition - RACING Approach
: Presented is the vision of the authors on how diverse web services may be composed, mediated by dynamic task coalitions of agents performing tasks for service requestors. The foc...
Vadim Ermolayev, Natalya Keberle, Sergey Plaksin
RSP
2006
IEEE
14 years 2 months ago
Wcomp: a Multi-Design Approach for Prototyping Applications using Heterogeneous Resources
This paper presents Wcomp which is a framework for rapid application prototyping. This framework has been developed for targeting wearable computing applications but can also be u...
Daniel Cheung-Foo-Wo, Jean-Yves Tigli, Stephane La...
ARCS
2004
Springer
14 years 2 months ago
Extending the MVC Design Pattern towards a Task-Oriented Development Approach for Pervasive Computing Applications
Abstract. This paper addresses the implementation of pervasive Java Web applications using a development approach that is based on the Model-ViewController (MVC) design pattern. We...
Patrick Sauter, Gabriel Vögler, Günther ...