Sciweavers

3161 search results - page 451 / 633
» Documenting framework behavior
Sort
View
ICCS
2007
Springer
15 years 10 months ago
Building Verifiable Sensing Applications Through Temporal Logic Specification
Abstract. Sensing is at the core of virtually every DDDAS application. Sensing applications typically involve distributed communication and coordination over large self-organized n...
Asad Awan, Ahmed H. Sameh, Suresh Jagannathan, Ana...
GISCIENCE
2010
Springer
216views GIS» more  GISCIENCE 2010»
15 years 7 months ago
Cognitive Invariants of Geographic Event Conceptualization: What Matters and What Refines?
Behavioral experiments addressing the conceptualization of geographic events are few and far between. Our research seeks to address this deficiency by developing an experimental fr...
Alexander Klippel, Rui Li, Frank Hardisty, Chris W...
FUIN
2008
119views more  FUIN 2008»
15 years 6 months ago
Modeling Communication with Synchronized Environments
A deterministic behavior of systems composed of several modules is a desirable design goal. Assembling a complex system from components requires also a high degree of re-usability....
Tiberiu Seceleanu, Axel Jantsch
INTR
2007
98views more  INTR 2007»
15 years 6 months ago
User-centered evaluation of information: a research challenge
Purpose – This paper sets out to present the concept of the value of information, review the descriptive, rational, social and behavioral approaches for assessing the value of i...
Daphne R. Raban
ICSOC
2010
Springer
15 years 5 months ago
A Programmble Fault Injection Testbed Generator for SOA
In this demo paper we present the prototype of our fault injection testbed generator. Our tool empowers engineers to generate emulated SOA environments and to program fault injecti...
Lukasz Juszczyk, Schahram Dustdar