Sciweavers

10625 search results - page 262 / 2125
» Supporting delay-intolerant applications
Sort
View
AMAST
2004
Springer
15 years 10 months ago
A Formally Verified Calculus for Full Java Card
We present a calculus for the verification of sequential Java programs. It supports all Java language constructs and has additional support for Java Card. The calculus is formally ...
Kurt Stenzel
188
Voted
BXML
2003
15 years 8 months ago
V-Grid-A Versioning Services Framework for the Grid
: A large variety of emerging Computational Grid applications require versioning services to support effective management of constantly changing datasets and implementations of dat...
Jernej Kovse, Theo Härder
JOT
2006
91views more  JOT 2006»
15 years 6 months ago
Framework Evolution Tool
Framework development is very expensive, not only because of the intrinsic difficulty related to capturing the domain knowledge, but also because of the lack of appropriate method...
Mariela Cortés, Marcus Fontoura, Carlos Jos...
ISICT
2004
15 years 8 months ago
Extending desktop applications to the web
Web applications have become the major means to allow ubiquitous access to backend systems via a web browser. Several technologies such as JSP, ASP.NET, or Java Server Faces exist ...
Arno Puder
RTAS
2010
IEEE
15 years 5 months ago
Multi-Application Deployment in Shared Sensor Networks Based on Quality of Monitoring
Abstract—Wireless sensor networks are evolving from dedicated application-specific platforms to integrated infrastructure shared by multiple applications. Shared sensor networks...
Sangeeta Bhattacharya, Abusayeed Saifullah, Chenya...