Sciweavers

789 search results - page 20 / 158
» Pushing using Compliance
Sort
View
CEC
2010
IEEE
15 years 5 days ago
Evolvable mechanics: Hardware tools for evolutionary robotics
Embodying robot morphologies evolved in simulation can present serious problems for an engineer when translating simplified simulated mechanisms into working devices, often drawing...
Bill Bigge Inman, R. Harvey
ICWS
2008
IEEE
15 years 15 days ago
A Framework for Verifying SLA Compliance in Composed Services
Service level agreements (SLAs) impose many nonfunctional requirements on services. Business analysts specify and check these requirements in business process models using tools s...
Hua Xiao, Brian Chan, Ying Zou, Jay W. Benayon, Bi...
ICSE
2008
IEEE-ACM
15 years 11 months ago
PLURAL: checking protocol compliance under aliasing
Enforcing compliance to API usage protocols is notoriously hard due to possible aliasing of objects through multiple references. In previous work we proposed a sound, modular appr...
Kevin Bierhoff, Jonathan Aldrich
CAISE
2003
Springer
15 years 4 months ago
Metamodel-Compliance Checking of Requirements in a Semiformal Representation
Abstract. Checking requirements is highly desirable but hard to achieve in practice, where only word processors are used in most projects. While in this case reviews are more or le...
Hermann Kaindl, Stefan Kramer, Mario Hailing, Vaha...
ER
2007
Springer
237views Database» more  ER 2007»
15 years 5 months ago
Business Process and Business Rule Modeling Languages for Compliance Management: A Representational Analysis
Organizations are under increasing scrutiny to document their compliance to regulatory requirements. To this end, they have to formally document their operating procedures to supp...
Michael zur Muehlen, Marta Indulska, Gerrit Kamp