1678 search results - page 281 / 336 » An ASM Specification of C |
ISESE
2006
IEEE
14 years 2 months ago
2006
IEEE
Inspection is considered a powerful method to check software documents for defects. Many published work shows that inspections in requirements specification phase are particularly...
SSDBM
2006
IEEE
14 years 2 months ago
2006
IEEE
Signaling pathways are chains of interacting proteins, through which the cell converts a (usually) extracellular signal into a biological response. The number of known signaling p...
ANCS
2006
ACM
14 years 2 months ago
2006
ACM
Modern deep packet inspection systems use regular expressions to define various patterns of interest in network data streams. Deterministic Finite Automata (DFA) are commonly used...
ELPUB
2006
ACM
14 years 2 months ago
2006
ACM
In the last few years, the University of Aveiro, Portugal, has been offering several distance learning courses over the Web, using e-learning platforms. Experience showed that dif...
ELPUB
2006
ACM
14 years 2 months ago
2006
ACM
Among the new possibilities that the Semantic Web has enabled, the authoring task is considered as a key moment for semantic representation of knowledge to enhance publishing need...