5639 search results - page 482 / 1128 » Timed Abstract Non-interference |
130
click to vote
COMCOM
2000
15 years 4 months ago
2000
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 ...
143
Voted
BIRTHDAY
2010
Springer
15 years 3 months ago
2010
Springer
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 ...
153
Voted
IJAOSE
2010
15 years 3 months ago
2010
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. ...
176
click to vote
TRETS
2010
15 years 3 months ago
2010
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...
297
click to vote
Book
"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...