4923 search results - page 605 / 985 » Software Risk Management |
164
click to vote
SPIN
2005
Springer
16 years 8 days 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...
147
Voted
ITICSE
2004
ACM
16 years 7 days 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...
225
click to vote
PPPJ
2004
ACM
16 years 7 days 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...
161
click to vote
CAISE
2004
Springer
16 years 6 days 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...
194
click to vote
IBERAMIA
2004
Springer
16 years 5 days ago
2004
Springer
Many approaches of the agent paradigm emphasize the social and intentional features of their systems, what are called social properties. The study of these aspects demands their ow...