7189 search results - page 1011 / 1438 » Connecting Design with Code |
195
Voted
FDL
2007
IEEE
16 years 2 months ago
2007
IEEE
Actor-oriented modeling approaches are convenient for implementing functional models of embedded systems. Architectural models for heterogeneous system-on-chip architectures, howe...
216
Voted
AOSE
2007
Springer
16 years 1 months ago
2007
Springer
This paper describes the Organization-based Multiagent System Engineering (O-MaSE) Process Framework, which helps process engineers define custom multiagent systems development pr...
185
Voted
FOSAD
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We present a framework for designing and composing services in a secure manner. Services can enforce security policies locally, and can invoke other services in a “call...
195
Voted
APCSAC
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper, we discuss the architecture of a modular UNIX-compatible operating system, MINIX 3, that provides reliability beyond that of most other systems. With nearly the ent...
183
Voted
CSFW
2006
IEEE
16 years 1 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...