2748 search results - page 282 / 550 » Generating Object-Z Specifications from Use Cases |
141
click to vote
IPL
2008
15 years 4 months ago
2008
Undefined terms involving the application of partial functions and operators are common in program specifications and in discharging proof obligations that arise in design. One wa...
136
click to vote
ML
2010
ACM
15 years 2 months ago
2010
ACM
In several domains it is common to have data from different, but closely related problems. For instance, in manufacturing, many products follow the same industrial process but with...
157
click to vote
PPPJ
2006
ACM
15 years 10 months ago
2006
ACM
The JavaTM programming language is primarily used for platform-independent programming. Yet it also offers many productivity, maintainability and performance benefits for platfo...
139
click to vote
LCN
2000
IEEE
15 years 8 months ago
2000
IEEE
In absence of any link layer traffic controls or priorityqueuing mechanism in LAN infrastructure (such as shared media LAN), Subnet Bandwidth Management based approach of managing...
135
click to vote
ASWC
2006
Springer
15 years 7 months ago
2006
Springer
The Web Ontology Language (OWL), which is a Description Logic based ontology language, is widely used to represent formal definitions of vocabularies for domain knowledge, especial...