4255 search results - page 283 / 851 » Cover |
169
click to vote
LATA
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. An important portion of the current research in Description Logics is devoted to the expansion of the reasoning services and the developement of algorithms that can adequ...
124
click to vote
AGILEDC
2009
IEEE
16 years 1 months ago
2009
IEEE
The software engineering community has documented countless success stories where lean and agile software development practices have rescued failing projects and helped countless ...
134
click to vote
ATS
2009
IEEE
16 years 1 months ago
2009
IEEE
SAT-based automatic test pattern generation has several advantages compared to conventional structural procedures, yet often yields too large test sets. We present a dynamic compa...
157
click to vote
ECBS
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper, we aim to ascribe a meaning to SysML activity diagrams. To this end, we propose a dedicated algebraic-like language, namely activity calculus, and an operational se...
202
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
Manufacturing companies that are expanding their product offering to cover also lifecycle services in the customers’ facilities are facing the increasing complexity and risk to ...