1761 search results - page 26 / 353 » Performance Evaluation : = (Process Algebra Model Checking... |
QOFIS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. An intention to adopt IP protocol for future mobile communication and subsequent extension of Internet services to the air interface calls for advanced performance modeli...
ANSS
2006
IEEE
14 years 1 months ago
2006
IEEE
A general model of an E-business system comprising an Application Server and a Database engine is analyzed and evaluated. Incoming jobs, once admitted for processing, compete for ...
WCE
2007
13 years 8 months ago
2007
—A new approach to perform feasibility studies using business process models is proposed. The utilization of the improved Role Activity Diagram notations has led to the extractio...
CAISE
2008
Springer
13 years 9 months ago
2008
Springer
A recent trend in Ubiquitous Computing is that embedded software (e.g. in production machines, wired or wireless networked sensors and actuators, or RFID readers) directly offers W...
ENTCS
2007
13 years 7 months ago
2007
Bounded Model Checking (BMC) is one of the most paradigmatic practical applications of Boolean Satisfiability (SAT). The utilization of SAT in model checking has allowed signifi...