Complex similarity queries, i.e., multi-feature multi-object queries, are needed to express the information need of a user against a large multimedia repository. Even if a user in...
The last few years, users want various services that fit their needs and preferences. Many services are provided at network edges and are increasing in number. The open framework i...
In the Software Engineering (SE) domain, the Model Driven Engineering (MDE)1 paradigm focuses on using models as main software artifacts to provide a full description of software s...
Design patterns have been widely adopted and well investigated by the software engineering community over the past decade. However, their primary use is still associated with forw...
We present various techniques for improving the time and space efficiency of symbolic model checking for system requirements specified as synchronous finite state machines. We use...
William Chan, Richard J. Anderson, Paul Beame, Dav...