Sciweavers

5639 search results - page 482 / 1128
» Timed Abstract Non-interference
Sort
View
COMCOM
2000
130views more  COMCOM 2000»
15 years 4 months ago
Use Case Maps and LOTOS for the prototyping and validation of a mobile group call system
ABSTRACT -- SPEC-VALUE, a rigorous scenario-driven approach for the description and validation of complex system functionalities at the early stages of design, is presented. It is ...
Daniel Amyot, Luigi Logrippo
143
Voted
BIRTHDAY
2010
Springer
15 years 3 months ago
Towards Declarative Query Scoping in Sensor Networks
Abstract. In the last decade, several large-scale wireless sensor networks have been deployed to monitor a variety of environments. The declarative nature of the database approach ...
Daniel Jacobi, Pablo Ezequiel Guerrero, Khalid Naw...
153
Voted
IJAOSE
2010
227views more  IJAOSE 2010»
15 years 3 months ago
Implementing reactive BDI agents with user-given constraints and objectives
CASO is an agent-oriented programming language based on AgentSpeak(L), one of the most influential abstract languages based on the BDI (Beliefs-Desires-Intentions) architecture. ...
Aniruddha Dasgupta, Aditya K. Ghose
TRETS
2010
142views more  TRETS 2010»
15 years 3 months ago
Performance Analysis Framework for High-Level Language Applications in Reconfigurable Computing
s, and abstractions, typically enabling faster development times than with traditional Hardware ion Languages (HDLs). However, programming at a higher level of abstraction is typic...
John Curreri, Seth Koehler, Alan D. George, Brian ...

Book
316views
17 years 24 days ago
Aspects of AJAX
"This book is about an AJAX Framework and an AJAX Engine for JavaScript, XML, SOAP, WSDL und ASP.NET using standard Web Services on the server. The basic elements for a...
Matthias Hertel