2748 search results - page 245 / 550 » Generating Object-Z Specifications from Use Cases |
162
Voted
UML
2001
Springer
15 years 8 months ago
2001
Springer
The work presented here is part of a project that aims at the definition of a methodology for developing realtime software systems based on UML. In fact, being relatively easy to ...
115
click to vote
NRHM
2008
15 years 3 months ago
2008
In the same way that Wikis have become the mechanism that has enabled groups of users to collaborate on the production of hypertexts on the web, Semantic Wikis promise a future of...
149
click to vote
ADHOCNOW
2009
Springer
15 years 4 months ago
2009
Springer
The increased functionality of EPC Class1 Gen2 (EPCGen2) is making this standard a de facto specification for inexpensive tags in the RFID industry. Recently three EPCGen2 complian...
128
Voted
HPCA
1998
IEEE
15 years 7 months ago
1998
IEEE
Over the past few years there has been increased interest in building custom computing machines (CCMs) as a way of achieving very high performance on specific problems. The advent...
191
Voted
BMCBI
2011
14 years 10 months ago
2011
Background: Molecular database search tools need statistical models to assess the significance for the resulting hits. In the classical approach one asks the question how probable...