3527 search results - page 349 / 706 » Test Automation in Practice |
158
click to vote
BPM
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Business process (BP) modeling is a building block for design and management of business processes. Two fundamental aspects of BP modeling are: a formal framework that we...
143
click to vote
WCRE
2005
IEEE
15 years 10 months ago
2005
IEEE
Software decay is a phenomenon that plagues aging software systems. While in recent years, there has been significant progress in the area of automatic detection of “code smells...
132
Voted
LPNMR
2005
Springer
15 years 10 months ago
2005
Springer
The formalism of nonmonotonic causal theories (Giunchiglia, Lee, Lifschitz, McCain, Turner, 2004) provides a general-purpose formalism for nonmonotonic reasoning and knowledge repr...
143
Voted
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
There is a need for agent systems that can scale to realworld applications, yet retain the clean semantic underpinning of more formal agent frameworks. We describe the SRI Procedu...
134
click to vote
SIGDOC
2003
ACM
15 years 10 months ago
2003
ACM
In this paper, I discuss how we made single-sourcing work at Juniper Networks. This is a practical discussion of issues, problems, and successes. Categories and Subject Descriptor...