4266 search results - page 249 / 854 » A Framework for Defining Logics |
189
click to vote
ICSEA
2006
IEEE
16 years 22 days ago
2006
IEEE
— this paper discusses a conceptual framework for the requirements engineering process for e-school applications offering a service to the information society. The e-school appli...
173
click to vote
AOSE
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Governance means that specifications are enforced dynamically at application runtime. Governance framework is a technique to design and implement an extensible interactio...
192
click to vote
APLAS
2006
ACM
15 years 10 months ago
2006
ACM
Abstract. Static analyses calculate abstract states, and their logics validate properties of the abstract states. We place into perspective the variety of forwards, backwards, func...
193
Voted
KESAMSTA
2007
Springer
16 years 25 days ago
2007
Springer
In this paper, we suggested a mobile collaboration framework based on distributed object group framework (DOGF). This paper focuses on the use of this framework to support mobile c...
158
click to vote
HPDC
2002
IEEE
15 years 11 months ago
2002
IEEE
While distributed, heterogeneous collections of computers (“Grids”) can in principle be used as a computing platform, in practice the problems of first discovering and then co...