1856 search results - page 201 / 372 » Formal Dialectic Specification |
147
click to vote
SKG
2006
IEEE
16 years 17 days ago
2006
IEEE
Effective document classification is a long-pursued goal in knowledge management. This paper proposes a novel hybrid approach of semantic representation and statistical measuremen...
174
click to vote
ICECCS
2005
IEEE
16 years 5 days ago
2005
IEEE
SOFL is a formal language and method for software system analysis, specification and design and it fully supports structured techniques and object-oriented techniques. AOP (Aspect...
166
click to vote
SEKE
2004
Springer
15 years 12 months ago
2004
Springer
As application semantics becomes more complex and dynamic in IT systems, it is necessary to engineer the application semantics in its own lifecycle of development parallel to syste...
162
click to vote
ANSS
2003
IEEE
15 years 12 months ago
2003
IEEE
Cell-DEVS is a formalism intended to model complex physical systems as cell spaces. Cell-DEVS allow describing cellular models using timing delay constructions, allowing simple de...
179
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
We study how several collective operations like broadcast, reduction, scan, etc. can be composed efficiently in complex parallel programs. Our specific contributions are: (1) a fo...