4476 search results - page 235 / 896 » Modeling software architectures in the Unified Modeling Lang... |
169
click to vote
HSNMC
2004
Springer
16 years 1 days ago
2004
Springer
Network management is an area where many different technologies coexist. Several languages are used to define the information to be managed, which are specific of each management m...
186
click to vote
VMCAI
2010
Springer
16 years 3 months ago
2010
Springer
We present a unified game-based approach for branching-time model checking of hierarchical systems. Such systems are exponentially more succinct than standard state-transition gra...
180
click to vote
IFM
2004
Springer
16 years 18 hour ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
207
click to vote
ICSR
2011
Springer
14 years 10 months ago
2011
Springer
With the move to distributed, component based systems involving reuse of components and services, emergent, system-wide properties, including safety and security in particular, are...
162
click to vote
DAC
1996
ACM
15 years 10 months ago
1996
ACM
Recent trends in the semiconductor industry have resulted in an increasing demand for low power circuits. POSE is a step in providing the EDA community and academia with an enviro...