544 search results - page 43 / 109 » A Logic Based Approach to the Static Analysis of Production ... |
ISTA
2003
13 years 9 months ago
2003
: A new approach of building enterprise distributed applications for layer of business rules as standard part of architecture is proposed in this paper. The approach uses symbolic ...
BPM
2006
Springer
13 years 11 months ago
2006
Springer
Service Science is a new term for a new paradigm which aims at the solution of an obvious problem: How to make the increasing fusion of business and IT successful in a dynamically ...
ORL
2007
13 years 7 months ago
2007
Polling systems with large deterministic setup times find many applications in production environments. The present note studies the delay distribution in exhaustive polling syst...
SCAM
2008
IEEE
14 years 2 months ago
2008
IEEE
Programming embedded system software typically involves more than one programming language. Normally, a high-level language such as C/C++ is used for application oriented tasks an...
SE
2008
13 years 9 months ago
2008
: In many of today's application programs, security functionality is inseparably intertwined with the actual mission-purpose logic. As a result, the trusted code base is unnec...