9974 search results - page 1765 / 1995 » Software Interconnection Models |
122
Voted
HASKELL
2006
ACM
15 years 9 months ago
2006
ACM
We propose a development methodology for designing and prototyping high assurance microkernels, and describe our application of it. The methodology is based on rapid prototyping a...
126
click to vote
MSWIM
2006
ACM
15 years 9 months ago
2006
ACM
Security is a critical issue in mobile commerce, especially in mobile database systems since mobile environments are dynamic and traditional protection mechanisms do not work very...
115
click to vote
INFOVIS
2005
IEEE
15 years 8 months ago
2005
IEEE
We present the Visual Code Navigator, a set of three interrelated visual tools that we developed for exploring large source code software projects from three different perspective...
150
click to vote
CIKM
2005
Springer
15 years 8 months ago
2005
Springer
Search engines process queries conjunctively to restrict the size of the answer set. Further, it is not rare to observe a mismatch between the vocabulary used in the text of Web p...
125
click to vote
FOSSACS
2005
Springer
15 years 8 months ago
2005
Springer
We study the concept of choice for true concurrency models such as prime event structures and safe Petri nets. We propose a dynamic variation of the notion of cluster previously in...