1791 search results - page 77 / 359 » Behavioral Operations |
134
click to vote
ANSOFT
2002
14 years 11 months ago
2002
Abstract. The real-time process algebra (RTPA) is a set of new mathematical notations for formally describing system architectures, and static and dynamic behaviors. It is recogniz...
105
click to vote
ICRA
2005
IEEE
15 years 5 months ago
2005
IEEE
- An Integrated Manufacturing and Service Network (IMSN) is a grouping of companies, working together to offer a bundle of products and product-related services, that deliver value...
APLAS
2009
ACM
15 years 6 months ago
2009
ACM
We define a higher-order process calculus with algebraic operations such as encryption and decryption, and develop a bisimulation proof method for behavioral equivalence in this c...
TKDE
2008
14 years 11 months ago
2008
Abstract-- With ever growing competition in telecommunications markets, operators have to increasingly rely on business intelligence to offer the right incentives to their customer...
IMC
2006
ACM
15 years 5 months ago
2006
ACM
Search engines are a vital part of the Web and thus the Internet infrastructure. Therefore understanding the behavior of users searching the Web gives insights into trends, and en...