Sciweavers

70 search results - page 2 / 14
» Object Nets for the Design and Verification of Distributed a...
Sort
View
GCC
2003
Springer
13 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
WORDS
2003
IEEE
13 years 9 months ago
Object and Process Migration in .NET
Most of today’s distributed computing systems in the field do not support the migration of execution entities among computing nodes during runtime. The relatively static associa...
Peter Tröger, Andreas Polze
WWW
2002
ACM
14 years 4 months ago
Simulation, verification and automated composition of web services
Web services -- Web-accessible programs and devices ? are a key application area for the Semantic Web. With the proliferation of Web services and the evolution towards the Semanti...
Srini Narayanan, Sheila A. McIlraith
CL
2008
Springer
13 years 3 months ago
Automatic synthesis and verification of real-time embedded software for mobile and ubiquitous systems
Currently available application frameworks that target the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for m...
Pao-Ann Hsiung, Shang-Wei Lin
EMSOFT
2003
Springer
13 years 8 months ago
Emerging Trends in Adaptive Middleware and Its Application to Distributed Real-Time Embedded Systems
Embedded systems have become prevalent in today’s computing world and more and more of these embedded systems are highly distributed and network centric. This adds increasing deg...
Joseph P. Loyall