4799 search results - page 627 / 960 » Model Based Requirements Engineering for Embedded Software |
152
click to vote
COMPSAC
2005
IEEE
16 years 9 days ago
2005
IEEE
This paper demonstrates our Web Service based NVersion model, WS-FTM (Web Service-Fault Tolerance Mechanism), which applies this well proven technique to the domain of Web Service...
188
click to vote
COMSWARE
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract-- This paper presents a proposal for group membership and access control services for JXTA, both based on the principle of self-organization and collaboration of peer grou...
226
Voted
SCAM
2002
IEEE
15 years 11 months ago
2002
IEEE
Dynamic program slicing is an effective technique for narrowing the errors to the relevant parts of a program when debugging. Given a slicing criterion, the dynamic slice contains...
144
click to vote
CODES
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper we present an approach to multi-objective exploration of the mapping space of a mesh-based network-on-chip architecture. Based on evolutionary computing techniques, ...
165
click to vote
FSTTCS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We describe a denotational (game) semantics for a call-byvalue functional language with multiple threads of control, which may communicate values of general type on local...