738 search results - page 130 / 148 » Object Orientation and Formal Techniques |
IJSWIS
2007
14 years 10 months ago
2007
An ontology is a formal representation of a domain modeling the entities in the domain and their relations. When a domain is represented by multiple ontologies, there is need for ...
ICSE
2000
IEEE-ACM
15 years 2 months ago
2000
IEEE-ACM
: Producing More Reliable Software: Mature Software Engineering Process vs. State-of-the-Art Technology? A customer of high assurance software recently sponsored a software enginee...
87
Voted
HPCN
2000
Springer
15 years 2 months ago
2000
Springer
The Java programming language and environment is stimulating new research activities in many areas of computing, not the least of which is parallel computing. Parallel techniques ...
108
click to vote
CCS
2010
ACM
15 years 5 months ago
2010
ACM
Secure provenance that records ownership and process history of data objects is vital to the success of data forensics in cloud computing, yet it is still a challenging issue toda...
85
Voted
ASWEC
2006
IEEE
15 years 5 months ago
2006
IEEE
Combining third party software components to customer-individual application systems requires first, standardized specification techniques for describing the technical as well as ...