2748 search results - page 525 / 550 » Generating Object-Z Specifications from Use Cases |
116
Voted
EDBT
2009
ACM
15 years 6 months ago
2009
ACM
As we move from a Web of data to a Web of services, enhancing the capabilities of the current Web search engines with effective and efficient techniques for Web services retrieva...
COMPSAC
2009
IEEE
15 years 6 months ago
2009
IEEE
As computing technology becomes increasingly pervasive and interconnected, mobility leads to shorter-lasting relationships between end-points with many different security requirem...
127
click to vote
EMSOFT
2009
Springer
15 years 6 months ago
2009
Springer
System-on-Chip (SoC) is a promising paradigm to implement safety-critical embedded systems, but it poses significant challenges from a design and verification point of view. In ...
INFOCOM
2006
IEEE
15 years 5 months ago
2006
IEEE
Abstract— The topological structure of the Internet infrastructure is an important and interesting subject that attracted significant research attention in the last few years. A...
108
click to vote
ECCV
2010
Springer
15 years 4 months ago
2010
Springer
Detecting shadows from images can significantly improve the performance of several vision tasks such as object detection and tracking. Recent approaches have mainly used illuminat...