2748 search results - page 300 / 550 » Generating Object-Z Specifications from Use Cases |
141
click to vote
OTM
2005
Springer
15 years 9 months ago
2005
Springer
Courseware increasingly consists of generic information and communication tools. These offer a plethora of functionalities, but their usefulness to a particular learning community ...
139
Voted
LWA
2008
15 years 5 months ago
2008
Detecting bursts in data streams is an important and challenging task, especially in stock market, traffic control or sensor network streams. Burst detection means the identificat...
109
click to vote
PTS
2004
15 years 5 months ago
2004
In this paper, we discuss how to test partially specified IOTS through lossless queues. A liberal assumption is made of the IOTS model by allowing both blocked and unspecified inpu...
111
click to vote
ENTCS
2006
15 years 4 months ago
2006
Means for the representation of variability in UML 2.0 interactions, as presented in a previous work, are further formalised and given a mathematically formal semantics. In this w...
135
click to vote
CVPR
2010
IEEE
16 years 18 days ago
2010
IEEE
Graph matching is a classical problem in pattern recognition with many applications, particularly when the graphs are embedded in Euclidean spaces, as is often the case for comput...