365 search results - page 52 / 73 » Towards a Conceptual Framework Supporting Model Compilabilit... |
LPAR
2007
Springer
14 years 1 months ago
2007
Springer
Operational models of (security) protocols, on one hand, are readable and conveniently match their implementation (at a certain abstraction level). Epistemic models, on the other h...
HICSS
2002
IEEE
14 years 21 days ago
2002
IEEE
Ideally, software is derived from requirements whose properties have been established as good. However, it is difficult to define and analyze requirements. Moreover, derivation of...
HICSS
2006
IEEE
14 years 1 months ago
2006
IEEE
In the era of knowledge economy, more and more people view online communities of practice (CoPs) as wellspring of precious knowledge. Notably, many researchers support the notion ...
CAISE
1999
Springer
14 years 18 hour ago
1999
Springer
As a decision support information system, a data warehouse must provide high level quality of data and quality of service. In the DWQ project we have proposed an architectural fram...
EDOC
2004
IEEE
13 years 11 months ago
2004
IEEE
The era of distributed systems is upon us. Middlewarespecific concerns, and especially the distribution concern, which is the core of any middleware-mediated application, are addr...