2232 search results - page 211 / 447 » Formal Modeling and Analysis of Organizations |
195
click to vote
PLDI
1997
ACM
15 years 10 months ago
1997
ACM
A major research goal for compilers and environments is the automatic derivation of tools from formal specifications. However, the formal model of the language is often inadequat...
159
click to vote
HOLOMAS
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Holonic multiagent systems (hmas) offers a promising software engineering approach for developing applications in complex domains characterized by a hierarchical structu...
184
click to vote
ICIP
2009
IEEE
16 years 7 months ago
2009
IEEE
The classification of urban landscape in aerial LiDAR point clouds is useful in 3D modeling and object recognition applications in urban environments. In this paper, we introduce ...
177
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
The term scalability appears frequently in computing literature, but it is a term that is poorly defined and poorly understood. The lack of a clear, consistent and systematic trea...
200
click to vote
SEMCO
2009
IEEE
16 years 1 months ago
2009
IEEE
Software development and maintenance are highly distributed processes that involve a multitude of supporting tools and resources. Knowledge relevant to these resources is typicall...