1937 search results - page 220 / 388 » Starting B Specifications from Use Cases |
174
click to vote
ITA
2007
15 years 6 months ago
2007
Abstract. This paper analyses the complexity of model checking Fixpoint Logic with Chop – an extension of the modal µ-calculus with a sequential composition operator. It uses tw...
164
click to vote
ESWS
2005
Springer
16 years 2 days ago
2005
Springer
In a real world scenario Semantic Web applications must be capable to cope with the large scale, distributed, heterogeneous, unreliable and insecure environment of the World Wide W...
186
click to vote
ECOOPW
1997
Springer
15 years 10 months ago
1997
Springer
The traditional workflow process model is typically illustrated with a graph of activities, tasks, deliverables and techniques. From an object-oriented perspective, every identifi...
165
click to vote
ASAP
2007
IEEE
15 years 10 months ago
2007
IEEE
Monte-Carlo simulations are used in many applications, such as option pricing and portfolio evaluation. Due to their high computational load and intrinsic parallelism, they are id...
146
click to vote
IGARSS
2010
15 years 4 months ago
2010
The QuikSCAT scatterometer infers wind vectors over the ocean using measurements of the surface backscatter. During rain events the QuikSCAT observations are subject to rain conta...