5547 search results - page 650 / 1110 » Software Variability Management |
201
click to vote
PROMAS
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Multi-agent systems are a natural way of decomposing complex systems into more manageable and decentralized units. Nevertheless, as single agents can represent complex su...
183
click to vote
SPIN
2005
Springer
16 years 1 months ago
2005
Springer
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...
169
click to vote
ITICSE
2004
ACM
16 years 1 months ago
2004
ACM
Traditional blackboard-based lectures provide context on the sliding blackboards. Modern lectures incorporating video projectors typically do not provide this context. We describe...
245
click to vote
PPPJ
2004
ACM
16 years 1 months ago
2004
ACM
Agents are an emerging technology that grants programmers a new way to exploit distributed resources. Roles are a powerful concept that can be used to model agent interactions, all...
188
click to vote
CAISE
2004
Springer
16 years 1 months ago
2004
Springer
The paper describes the representation and use of three ontologies in a software aiming at the assistance of a virtual team in business process analysis and improvement (BPI), usin...