Sciweavers

6800 search results - page 975 / 1360
» Testing with Functions as Specifications
Sort
View
HUMAN
2003
Springer
15 years 12 months ago
Dynamic Deployment of Software Defined Radio Components for Mobile Wireless Internet Applications
Abstract. Software Defined Radio (SDR) is a key enabling technology for mobile wireless Internet. SDR represents unique opportunity to provide Internet connectivity to handheld dev...
Saehwa Kim, Jamison Masse, Seongsoo Hong
ICSOC
2003
Springer
15 years 12 months ago
PANDA: Specifying Policies for Automated Negotiations of Service Contracts
Abstract. The Web and Grid services frameworks provide a promising infrastructure for cross-organizational use of online services. The use of services in large-scale and cross-orga...
Henner Gimpel, Heiko Ludwig, Asit Dan, Robert Kear...
ISCIS
2003
Springer
15 years 12 months ago
Design of a Log Server for Distributed and Large-Scale Server Environments
Collection, storage and analysis of multiple hosts’ audit trails in a distributed manner are known as a major requirement, as well as a major challenge for enterprise-scale compu...
Attila Özgit, Burak Dayioglu, Erhan Anuk, Ina...
DATE
2010
IEEE
175views Hardware» more  DATE 2010»
15 years 11 months ago
Challenges in the design of automotive software
—Since the foundation of AUTomotive Open System ARchitecture (AUTOSAR), the AUTOSAR Core Partners and more than 65 Premium and Development Members have been working on the standa...
Simon Fürst
ACSC
2002
IEEE
15 years 11 months ago
Employing Hierarchical Federation Communities in the Virtual Ship Architecture
This paper discusses work underway to develop a framework for the use of hierarchical federation communities as a tool for distributed simulation. The Virtual Ship Project is the ...
A. Cramp, Michael J. Oudshoorn