Sciweavers

6343 search results - page 362 / 1269
» Development of a Cartographic Language
Sort
View
INTERNET
2010
153views more  INTERNET 2010»
15 years 5 months ago
Composition as a Service
— Software as a Service (SaaS) and the possibility to compose Web services provisioned over the Internet are important assets for a service-oriented architecture (SOA). However, ...
M. Brian Blake, Wei Tan, Florian Rosenberg
GI
2009
Springer
15 years 4 months ago
Specification based testing of automotive human machine interfaces
Abstract: Model based testing promises systematic test coverage in a continuous testing process. However, in practice, model based testing struggles with informal specifications, d...
Holger Grandy, Sebastian Benz
ECEASST
2010
15 years 1 months ago
Towards a Conceptual Framework Supporting Model Compilability
The ever-growing use of modeling languages today is largely due to a maturation of model-based development technologies. However, there is enough room for improving language specif...
Dan Ioan Chiorean, Vladiela Petrascu
TASE
2012
IEEE
14 years 2 months ago
Discrete-Event Coordination Design for Distributed Agents
— This paper presents new results on the formal design of distributed coordinating agents in a discrete-event framework. In this framework, agents are modeled to be individually ...
Manh Tung Pham, Kiam Tian Seow
INFOCOM
2012
IEEE
13 years 9 months ago
Di-Sec: A distributed security framework for heterogeneous Wireless Sensor Networks
Wireless Sensor Networks (WSNs) are no longer a nascent technology and today, they are actively deployed as a viable technology in many diverse application domains such as health ...
Marco Valero, Sang Shin Jung, A. Selcuk Uluagac, Y...