3432 search results - page 33 / 687 » Model Development in the UML-based Specification Environment... |
UIST
1997
ACM
15 years 1 months ago
1997
ACM
This paper describes our experiences implementing a component architecture for TeamWave Workplace, an integrated groupware environment using a rooms metaphor. The problem we faced...
CIA
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. We adopt the Markov chain framework to model bilateral negotiations among agents in dynamic environments and use Bayesian learning to enable them to learn an optimal stra...
CAV
1997
Springer
15 years 1 months ago
1997
Springer
We demonstrate the feasibility of using the XSB tabled logic programming system as a programmable fixed-point engine for implementing efficient local model checkers. In particular,...
72
Voted
CAISE
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. The development of critical systems requires a high assurance process from requirements to the running code. Formal methods, such as B, now provide industry-strength tool...
VLSID
2002
IEEE
15 years 10 months ago
2002
IEEE
The development of application specific instruction set processors comprises several design phases: architecture exploration, software tools design, system verification and design...