2409 search results - page 77 / 482 » Logical systems for structured specifications |
128
click to vote
IADIS
2004
15 years 6 months ago
2004
Some ideas have been written and deeply discussed about the importance of technology in the specific context of the financial services. According to some authors, technology can b...
162
click to vote
ICSE
2004
IEEE-ACM
16 years 5 months ago
2004
IEEE-ACM
Most research on automated specification-based software testing has focused on the automated generation of test cases. Before a software system can be tested, it must be set up ac...
167
click to vote
MICCAI
2007
Springer
16 years 6 months ago
2007
Springer
Abstract. Surgeons need a robust interventional system capable of providing reliable, real-time information regarding the position and orientation of the surgical targets and tools...
135
click to vote
VLSID
2002
IEEE
16 years 5 months ago
2002
IEEE
Verification is one of the most complex and expensive tasks in the current Systems-on-Chip (SOC) design process. Many existing approaches employ a bottom-up approach to pipeline v...
144
click to vote
CLEF
2008
Springer
15 years 6 months ago
2008
Springer
The domain-specific track evaluates retrieval models for structured scientific bibliographic collections in English, German and Russian. Documents contain elements (title, abstrac...