3771 search results - page 346 / 755 » Process modeling for future technologies |
130
Voted
PATMOS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The logical effort method has appeared very convenient for fast estimation and optimization of single paths. However it necessitates a calibration of all the gates of the...
145
click to vote
COOPIS
2002
IEEE
15 years 10 months ago
2002
IEEE
Abstract. In recent years ontologies – shared conceptualizations of some domain – are increasingly seen as the key to further automation of information processing. Although man...
144
click to vote
EKAW
1994
Springer
15 years 9 months ago
1994
Springer
Formal knowledge modelling languages have a number of advantages over informal languages, such as their precise meaning and the possibility to derive propertiesthrough formal proof...
123
click to vote
CAISE
2006
Springer
15 years 8 months ago
2006
Springer
Data exchange between heterogeneous schemas is a difficult problem that becomes more acute if the source and target schemas are from different data models. The data type of the obj...
129
click to vote
CAISE
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. The development of critical systems requires a high assurance process from requirements to the running code. Formal methods, such as B, now provide industry-strength tool...