5924 search results - page 660 / 1185 » Normal Process Representatives |
179
click to vote
WCRE
2006
IEEE
16 years 1 months ago
2006
IEEE
In many areas of software engineering, empirical studies are playing an increasingly important role. This stems from the fact that software technologies are often based on heurist...
180
click to vote
ACRI
2006
Springer
16 years 1 months ago
2006
Springer
Abstract. The knowledge of phenomena connected with pedestrian dynamics is desired in the process of developing public facilities. Nowadays, there is a necessity of creating variou...
190
click to vote
ADBIS
2006
Springer
16 years 1 months ago
2006
Springer
Computational database technology spans the two research fields data-base technology and scientific computing. It involves development of database capabilities that support compu...
208
click to vote
ADC
2006
Springer
16 years 1 months ago
2006
Springer
Query answering over OWLs and RDFs on the Semantic Web is, in general, a deductive process. To this end, OWL, a family of web ontology languages based on description logic, has be...
248
click to vote
ACL2
2006
ACM
16 years 1 months ago
2006
ACM
To make it practical to mechanize proofs in programming language metatheory, several capabilities are required of the theorem proving framework. One must be able to represent and ...