Sciweavers

7918 search results - page 294 / 1584
» Model Composition Directives
Sort
View
ICWS
2008
IEEE
15 years 5 months 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...
BMCBI
2008
94views more  BMCBI 2008»
15 years 4 months ago
Identification of Proteins Secreted by Malaria Parasite into Erythrocyte using SVM and PSSM profiles
Background: Malaria parasite secretes various proteins in infected RBC for its growth and survival. Thus identification of these secretory proteins is important for developing vac...
Ruchi Verma, Ajit Tiwari, Sukhwinder Kaur, Grish C...
ENTCS
2006
168views more  ENTCS 2006»
15 years 4 months ago
A Functional Programming Framework for Latency Insensitive Protocol Validation
Latency insensitive protocols (LIPs) have been proposed as a viable means to connect synchronous IP blocks via long interconnects in a system-on-chip. The reason why one needs to ...
Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla...
ICECCS
2005
IEEE
73views Hardware» more  ICECCS 2005»
15 years 10 months ago
Integrating Object-Z with Timed Automata
When designing a complex system, Object-Z is a powerful logic-based language for modeling the system state aspects, and Timed Automata is an excellent graph-based notation for cap...
Jin Song Dong, Roger Duke, Ping Hao
WSC
2007
15 years 6 months ago
Composing simulation models using interface definitions based on web service descriptions
Using models in different contexts poses major integration challenges, ranging from technical to conceptual levels. Independently of each other developed model components cannot b...
Mathias Röhl, Stefan Morgenstern