2232 search results - page 108 / 447 » Formal Modeling and Analysis of Organizations |
206
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
Schedulability analysis of real-time embedded systems requires worst case timing guarantees of embedded software performance. This involves not only language level program analysi...
156
click to vote
EDOC
2006
IEEE
16 years 15 days ago
2006
IEEE
— An enterprise architecture is intended to be a comprehensive blueprint describing the key components and relationships for an enterprise from strategies to business processes t...
152
click to vote
RECOMB
2005
Springer
16 years 6 months ago
2005
Springer
Whether common ancestors of eukaryotes and prokaryotes had introns is one of the oldest unanswered questions in molecular evolution. Recently completed genome sequences have been u...
170
click to vote
ER
2007
Springer
16 years 18 days ago
2007
Springer
The emerging area of business process intelligence attempts to enhance the analytical capabilities of business process management systems by employing data warehousing and mining t...
176
click to vote
ICCD
2005
IEEE
16 years 1 days ago
2005
IEEE
— With the success of formal verification techniques like equivalence checking and model checking for hardware designs, there has been growing interest in applying such techniqu...