Sciweavers

6317 search results - page 206 / 1264
» System Support for Pervasive Applications
Sort
View
GCC
2003
Springer
15 years 8 months ago
An Object-Oriented Petri Nets Based Integrated Development Environment for Grid-Based Applications
The Object-Oriented Petri Nets (OOPN) based integrated solution to a grid-based application system modeling and enacting is proposed in this paper for simplifying designs and devel...
Hongyi Shi, Aihua Ren
JIT
2005
Springer
107views Database» more  JIT 2005»
15 years 9 months ago
Supporting Unanticipated Changes with Traits and Classboxes
: On the one hand, traits are a powerful way of structuring classes. Traits support the reuse of method collections over several classes. However, traits cannot be used when specif...
Alexandre Bergel, Stéphane Ducasse
201
Voted
WWW
2011
ACM
14 years 10 months ago
Towards liquid service oriented architectures
The advent of Cloud computing platforms, and the growing pervasiveness of Multicore processor architectures have revealed the inadequateness of traditional programming models base...
Daniele Bonetta, Cesare Pautasso
AICT
2007
IEEE
113views Communications» more  AICT 2007»
15 years 9 months ago
Ontologies to Support Call Control Policies
—The topic of policy-based management is introduced. Its specific application by the ACCENT project to call control is then discussed. The APPEL policy language supports regular ...
Gemma A. Campbell, Kenneth J. Turner
108
Voted
ICFEM
2007
Springer
15 years 9 months ago
Machine-Assisted Proof Support for Validation Beyond Simulink
Simulink is popular in industry for modeling and simulating embedded systems. It is deficient to handle requirements of high-level assurance and timing analysis. Previously, we sh...
Chunqing Chen, Jin Song Dong, Jun Sun 0001