1728 search results - page 223 / 346 » Formal Modeling of Process Migration |
140
click to vote
IWFM
2003
15 years 2 months ago
2003
We present a report on work in progress on certain aspects of a programme of research concerned with building formal, mathematical models both for aspects of the computational pro...
111
Voted
CLEIEJ
2002
15 years 18 days ago
2002
Function Point Analysis (FPA) is among the most commonly used techniques to estimate the size of software system projects or software systems. During the point counting process th...
127
click to vote
UML
2004
Springer
15 years 6 months ago
2004
Springer
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to Linear T...
110
Voted
CSFW
2004
IEEE
15 years 4 months ago
2004
IEEE
Information flow security properties such as noninterference ensure the protection of confidential data by strongly limiting the flow of sensitive information. However, to deal wi...
109
click to vote
AAAI
2000
15 years 2 months ago
2000
We present a general, consistency-based framework for belief change. Informally, in revising K by , we begin with and incorporate as much of K as consistently possible. Formally, ...