Sciweavers

6574 search results - page 389 / 1315
» Current Signatures: Application
Sort
View
ISAS
2005
Springer
16 years 9 days ago
Proof-Based System Engineering Using a Virtual System Model
Abstract. This paper provides an overview of Proof-Based System Engineering (PBSE), which aims at improving the current practice of developing computer-based systems. PBSE is of pa...
Martin Biely, Gérard Le Lann, Ulrich Schmid
OTM
2005
Springer
16 years 8 days ago
Location-Based Mobile Querying in Peer-to-Peer Networks
Peer-to-peer (P2P) networks are receiving increasing attention in a variety of current applications. In this paper, we concentrate on applications where a mobile user queries peers...
Michel Scholl, Marie Thilliez, Agnès Voisar...
ACMSE
2004
ACM
16 years 7 days ago
Interface design for a modern software ticketing system
This paper describes issues in the design of IT-centric trouble-ticketing applications. Two prototypes are presented. The first introduces a user-centric, webaccessible thick clie...
Minhui Xie, Mark Tomlinson, Bobby Bodenheimer
OTM
2004
Springer
16 years 4 days ago
Studying the Behaviour of the Single Parent Rule in Real-Time Java
This paper addresses the issue of improving the performance of memory management for real-time Java applications, building upon the RealTime Specification for Java (RTSJ). This spe...
M. Teresa Higuera-Toledano
DISCEX
2003
IEEE
16 years 3 days ago
Towards a Rigorous Definition of Information System Survivability
The computer systems that provide the information underpinnings for critical infrastructure applications, both military and civilian, are essential to the operation of those appli...
John C. Knight, Elisabeth A. Strunk, Kevin J. Sull...