2232 search results - page 177 / 447 » Formal Modeling and Analysis of Organizations |
190
click to vote
IESA
2007
15 years 8 months ago
2007
Increased performance is the key reason for developing software with virtual teams but the research efforts to date are limited. Difficulties for a formal, generic approach are mul...
146
click to vote
OTM
2005
Springer
16 years 1 days ago
2005
Springer
We propose a formal definition of a pervasive service model targeting the very dynamic environments typical of mobile application scenarios. The model is based on a requirement an...
164
click to vote
FDL
2007
IEEE
16 years 27 days ago
2007
IEEE
The forthcoming OMG UML Profile for Modeling and Analysis of Real-Time Embedded systems (MARTE) aims, amongst other things, at providing a referential Time Model subprofile wher...
189
click to vote
ASP
2003
Springer
15 years 11 months ago
2003
Springer
Integration of data is required when accessing multiple databases within an organization or on the WWW. Schema integration is required for database interoperability, but it is curr...
141
click to vote
VLSID
2010
IEEE
15 years 10 months ago
2010
IEEE
—We propose a compact model for small signal non quasi static analysis of long channel symmetric double gate MOSFET. The model is based on the EKV formalism and is valid in all r...