3914 search results - page 665 / 783 » Automating SLA modeling |
154
click to vote
HICSS
2008
IEEE
15 years 11 months ago
2008
IEEE
Purpose: Drawing from literature on innovation, strategy and culture the objective of this study is to explore the role of perceived potentials and perceived strategic importance ...
132
click to vote
ICSM
2008
IEEE
15 years 11 months ago
2008
IEEE
A principal goal of agent-oriented software engineering (AOSE) is to provide the mechanisms for reusing, maintaining and allowing the evolution of agent-based software systems. Ou...
147
click to vote
KBSE
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract—A poorly understood but important factor in random testing is the selection of a maximum length for test runs. Given a limited time for testing, it is seldom clear wheth...
131
click to vote
LICS
2008
IEEE
15 years 11 months ago
2008
IEEE
We study the classes of B¨uchi and Rabin automatic structures. For B¨uchi (Rabin) automatic structures their domains consist of infinite strings (trees), and the basic relation...
150
click to vote
LICS
2008
IEEE
15 years 11 months ago
2008
IEEE
Kleene algebra with tests (KAT) is an equational system for program verification that combines Kleene algebra (KA), or the algebra of regular expressions, with Boolean algebra. I...