250 search results - page 38 / 50 » State Isomorphism in Model Programs with Abstract Data Struc... |
106
click to vote
OOPSLA
2004
Springer
15 years 3 months ago
2004
Springer
Radio Frequency Identification (RFID) technology provides the means to track any object, any time, anywhere with Electronic Product Codes (EPC). A major consequence of this techno...
DATE
2008
IEEE
15 years 4 months ago
2008
IEEE
In the absence of a single module interface standard, integration of pre-designed modules in System-on-Chip design often requires the use of protocol converters. Existing approach...
DLOG
2003
14 years 11 months ago
2003
The purpose of the chapter is to help someone familiar with DLs to understand the issues involved in developing an ontology for some universe of discourse, which is to become a co...
ECSA
2010
Springer
14 years 8 months ago
2010
Springer
Presently, no methods exist that support the creation process of an industry taxonomy within a specific domain. Without such a method, taxonomies remain erroneous, making the deve...
ICST
2009
IEEE
15 years 4 months ago
2009
IEEE
Java PathFinder (JPF) is a popular model checker for Java programs. JPF was used to generate object graphs as test inputs for object-oriented programs. Specifically, JPF was used...