3013 search results - page 379 / 603 » Context-Oriented Domain Analysis |
169
click to vote
DATE
2005
IEEE
16 years 8 days ago
2005
IEEE
Automated synthesis of monitors from high-level properties plays a significant role in assertion-based verification. We present here a methodology to synthesize assertion monitors...
197
click to vote
DATE
2005
IEEE
16 years 8 days ago
2005
IEEE
Complex real-time control system is a software dense and algorithms dense system, which needs modern software engineering techniques to design. UML is an object-oriented industria...
185
click to vote
HICSS
2005
IEEE
16 years 8 days ago
2005
IEEE
One of the unknowns of emailing is the time it will take the receiver to form and post a reply. Response times vary considerably, and the chronemics of email are an important non-...
172
click to vote
ICDM
2005
IEEE
16 years 8 days ago
2005
IEEE
In this paper, we formulate the problem of summarization of a dataset of transactions with categorical attributes as an optimization problem involving two objective functions - co...
179
click to vote
ICMCS
2005
IEEE
16 years 7 days ago
2005
IEEE
Efficient indexing and retrieval of digital videos are important needs within instructional video databases. Semantic indexing for instructional videos can be achieved by combini...