6574 search results - page 338 / 1315 » Current Signatures: Application |
155
click to vote
CIKM
2001
Springer
15 years 11 months ago
2001
Springer
We describe a model-based filtering application that generates candidate case-to-case distinguishing citations. We developed the system to aid editors in identifying indirect rela...
174
click to vote
FTDCS
1999
IEEE
15 years 11 months ago
1999
IEEE
The Java Security Model has undergone considerable evolution since its initial implementation. However, due to its historical focus on securing machines against attack from hostil...
163
click to vote
CIS
2006
Springer
15 years 10 months ago
2006
Springer
The emerging ubiquitous computing is changing the current computing paradigm, and it lets the ubiquitous RFID applications consistently and independently utilize the sensed inform...
189
click to vote
SPIN
2000
Springer
15 years 10 months ago
2000
Springer
We describe a tool, called AX, that can be used in combination with the model checker SPIN to efficiently verify logical properties of distributed software systems implemented in A...
167
click to vote
ICWS
2008
IEEE
15 years 8 months ago
2008
IEEE
Today, multimedia system are still widely realized as monolithic systems. But building such applications using Service-Oriented Architectures -- especially for the Processing and ...