77016 search results - page 14863 / 15404 » Modeling Modeling |
217
click to vote
APSEC
2002
IEEE
16 years 1 days ago
2002
IEEE
We have taught several distributed software engineering project courses with students and real clients [4]. During these projects, students in Pittsburgh and Munich, Germany colla...
207
click to vote
CCGRID
2002
IEEE
16 years 1 days ago
2002
IEEE
Despite the large research efforts in the SW–DSM community, this technology has not yet been adapted widely for significant codes beyond benchmark suites. One of the reasons co...
234
click to vote
COOPIS
2002
IEEE
16 years 1 days ago
2002
IEEE
This paper presents a specifically database-inspired approach (called DOGMA) for engineering formal ontologies, implemented as shared resources used to express agreed formal semant...
235
click to vote
CSFW
2002
IEEE
16 years 1 days ago
2002
IEEE
We carry forward the work described in our previous papers [3, 14, 12] on the application of data independence to the model checking of cryptographic protocols using CSP [13] and ...
179
Voted
DATE
2002
IEEE
16 years 23 hour ago
2002
IEEE
Microprocessors are today getting more and more inefficient for a growing range of applications. Its principles -The Von Neumann paradigm[3]- based on the sequential execution of ...