1312 search results - page 116 / 263 » Embedded contract languages |
149
click to vote
ATAL
2005
Springer
15 years 5 months ago
2005
Springer
Although informative, the semantic definition proposed for the most standard agent communication language (FIPA ACL 1997) is complicated and contentious, while published interact...
145
click to vote
ICSE
2011
IEEE-ACM
14 years 6 months ago
2011
IEEE-ACM
A software architecture describes the structure of a computing system by specifying software components and their interactions. Mapping a software architecture to an implementatio...
124
click to vote
MODELS
2009
Springer
15 years 9 months ago
2009
Springer
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...
CSFW
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper presents an embedded security sublanguage for enforcing information-flow policies in the standard Haskell programming language. The sublanguage provides useful informa...
135
click to vote
AOSD
2007
ACM
15 years 7 months ago
2007
ACM
Configurability is a major issue in the domain of embedded system software. Existing systems specifically lack good techniques to implement configurability of architectural OS con...