2836 search results - page 160 / 568 » Model Checking for Software Architectures |
140
click to vote
IGPL
2007
15 years 4 months ago
2007
The graphical software Morph Moulder (MoMo) presented here was originally created for teaching the logical foundations of Head-Driven Phrase Structure Grammar (HPSG) in an e-Learn...
127
Voted
CSREAESA
2006
15 years 5 months ago
2006
- A systematic approach to building layered software architecture is proposed. Separate layering models required oper abstracting of hardware, persistent data, and communication pr...
175
click to vote
FCCM
2009
IEEE
15 years 1 months ago
2009
IEEE
Adaptive systems are set to become more mainstream, as numerous practical applications in the communications domain emerge. FPGAs offer an ideal implementation platform, combining...
142
click to vote
AIM
2006
15 years 5 months ago
2006
: The development of the tools of Business Process Management (BPM) arises from the spread of the notion of process in the management universe. The application of BPM to strategic ...
141
click to vote
SP
2003
IEEE
15 years 9 months ago
2003
IEEE
We specify a hardware architecture that supports tamper-resistant software by identifying an “idealized” hich gives the abstracted actions available to a single user program. ...