6047 search results - page 449 / 1210 » Modeling with Extend |
205
click to vote
QEST
2007
IEEE
16 years 1 months ago
2007
IEEE
Stochastic game logic (SGL) is a new temporal logic that combines features of alternating temporal logic (to formalize the individual views and cooperation and reaction facilities...
190
click to vote
WECWIS
2006
IEEE
16 years 1 months ago
2006
IEEE
Today’s business climate requires organizations to constantly evolve IT strategies to respond to new opportunities or threats. Tracking the achievement of business goals, object...
192
click to vote
MSS
2005
IEEE
16 years 19 days ago
2005
IEEE
We present an architecture of a trust framework that can be utilized to intelligently tradeoff between security and performance in a SAN file system. The primary idea is to diffe...
189
click to vote
ISORC
1999
IEEE
15 years 11 months ago
1999
IEEE
CORBA is an emerging middleware infrastructure with open standardization that is receiving a good acceptance since it makes easier to program distributed objects. CORBA is being e...
197
click to vote
ECMDAFA
2006
Springer
15 years 10 months ago
2006
Springer
: The growing interest in the MDA (Model-Driven Architecture) and MDD (Model-Driven Development) approaches has largely increased the number of tools and methods including code-gen...