10263 search results - page 401 / 2053 » From Use Cases to System Operation Specifications |
228
Voted
ASWEC
2005
IEEE
16 years 1 months ago
2005
IEEE
Starting with a UML specification that captures the underlying functionality of some given Java-based concurrent system, we describe a systematic way to construct, from this speci...
208
Voted
ISSTA
2006
ACM
16 years 1 months ago
2006
ACM
Static analysis has gained much attention over the past few years in applications such as bug finding and program verification. As software becomes more complex and componentize...
214
Voted
BMCBI
2008
15 years 7 months ago
2008
Background: Bio-ontologies are key elements of knowledge management in bioinformatics. Rich and rigorous bio-ontologies should represent biological knowledge with high fidelity an...
197
Voted
JCM
2006
15 years 7 months ago
2006
For a dense RFID reader deployment, such as in a warehouse, where hundreds of readers will be positioned in a building, the interference between all these readers must be studied c...
329
Voted
ICDE
2007
IEEE
16 years 9 months ago
2007
IEEE
Automatic recognition and formalization of constraints from free-form service requests is a challenging problem. Its resolution would go a long way toward allowing users to make r...