10682 search results - page 1864 / 2137 » A Graph Based Process Representation for Process Modeling |
205
click to vote
HASKELL
2005
ACM
16 years 7 days ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
156
click to vote
ICWE
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. In the Internet era, the development of Web applications has impressively evolved and is characterized by a large degree of complexity. To this end, software community ha...
137
click to vote
IPSN
2005
Springer
16 years 5 days ago
2005
Springer
Abstract— In some remote sensing applications, the functional relationship between the source being observed and the sensor readings may not be known. Because of communication co...
164
click to vote
KIVS
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. The simulation of large-scale inter-domain networks is useful for various aspects of network planning and management. It is also a challenge due to its scalability proble...
169
click to vote
KDD
2004
ACM
16 years 1 days ago
2004
ACM
Detection of space-time clusters is an important function in various domains (e.g., epidemiology and public health). The pioneering work on the spatial scan statistic is often use...