20126 search results - page 3407 / 4026 » Timed Transition Systems |
200
click to vote
SIBGRAPI
2009
IEEE
16 years 2 months ago
2009
IEEE
—Network cameras, extensively used in video surveillance, often allow pan-tilt-zoom functionality and are also subject to wind load and mount vibrations, thus causing video frame...
185
click to vote
VL
2009
IEEE
16 years 2 months ago
2009
IEEE
Jadeite is a new Javadoc-like API documentation system that takes advantage of multiple users’ aggregate experience to reduce difficulties that programmers have learning new API...
187
click to vote
WCRE
2009
IEEE
16 years 2 months ago
2009
IEEE
—Navigating large software systems is difficult as the various artifacts are distributed in a huge space, while the relationships between different artifacts often remain hidden...
291
click to vote
WETICE
2009
IEEE
16 years 2 months ago
2009
IEEE
—Cloud Computing, born in the e-business context, and GRID computing, originated in the e-science context, are two different but similar paradigms for managing large sets of dist...
221
click to vote
KBSE
2009
IEEE
16 years 2 months ago
2009
IEEE
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...