3765 search results - page 273 / 753 » Formal Methods for Systems Engineering Behavior Models |
190
click to vote
ESWA
2008
15 years 6 months ago
2008
The severe competition in the market has driven enterprises to produce a wider variety of products to meet consumers' needs. However, frequent variation of product specificat...
174
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents a method for modeling the dynamic behavior of harbor supply chains and evaluating strategic and operational policies of the proposed harbor supply chain by app...
188
click to vote
FORTE
2009
15 years 4 months ago
2009
Abstract. We propose a verification method for parameterized systems with global conditions. The method is based on context-sensitive constraints, a symbolic representation of infi...
170
click to vote
KBSE
2000
IEEE
15 years 11 months ago
2000
IEEE
Lightweight formal modeling and automatic analysis were used to explore the design of the Intentional Naming System (INS), a new scheme for resource discovery in a dynamic network...
146
click to vote
DEXAW
2002
IEEE
15 years 11 months ago
2002
IEEE
Designing electronic markets is still a rather intricate process. eNegotiation - and thereby trading rules - embody the core of the institution ”electronic market”. Although s...